The SpiNNaker board management processor firmware (BMP) manages power, heat, and inter-board links. It is usually only accessed via spalloc. Note that the BMP does not run on SpiNNaker chips; it has a significantly different hardware configuration.

See bmp.h for a way into the BMP implementation.