Tried:
- configuring to less than configMAX_SYSCALL_INTERRUPT_PRIORITY the priorities
of IRQs which have handlers that use FreeRTOS API ISR-'safe' functions to
<give> semaphores, queues
- adding counters to see how many times the IRQ fired, and how many times
the task fired
- etc., etc.