4 Queue<uint32_t, 5> queue;
6 DigitalOut myled(LED1);
9 queue.put((uint32_t*)2);
13 void queue_thread(void const *argument) {
15 queue.put((uint32_t*)1);
21 Thread thread(queue_thread);
24 ticker.attach(queue_isr, 1.0);
27 osEvent evt = queue.get();
28 if (evt.status != osEventMessage) {
29 printf("queue->get() returned %02x status\n\r", evt.status);
31 printf("queue->get() returned %d\n\r", evt.value.v);