static volatile uint32_t g_idle_ticks;
static volatile uint32_t g_task0_runs;
static volatile uint32_t g_task1_runs;

void rtos_idle_hook(void)
{
    g_idle_ticks++;
    __asm volatile("wfi");
}

static void task_load_report(void)
{
    for (;;) {
        cos_lpc51u68_uart0_puts("load idle ");
        cos_lpc51u68_uart0_put_hex32(g_idle_ticks);
        cos_lpc51u68_uart0_puts(" task0 ");
        cos_lpc51u68_uart0_put_hex32(g_task0_runs);
        cos_lpc51u68_uart0_puts(" task1 ");
        cos_lpc51u68_uart0_put_hex32(g_task1_runs);
        cos_lpc51u68_uart0_puts("\r\n");
        rtos_delay_ticks(1000u);
    }
}