Basic example showing the CMSIS-RTOS queue API with a producer in an ISR and a consumer in a normal thread
mbed official
/
cmsis_rtos_isr