The notes in misc.c for NVIC_Init() state that NVIC_Init() should be called first.
The notes for NVIC_PriorityGroupConfig() list 4 priority groups. What are these priority groups and how are they determined?
There are 5 groups of 4 bits so how are they to be packed into a uint32_t?
The function NVIC_Init() is called more than once in our code, I assume one call to NVIC_PriorityGroupConfig() covers all calls to NVIC_Init() and needs to precede all of them.