Interrupt priorities are set in peripheral drivers, it would be useful to have a single header file to experiment with ordering. Could also use this for queue lengths and probably lots of other stuff.