static void task_uart(void)
{
    uint32_t count = 0u;

    for (;;) {
        rtos_log_task_state("rtos task0 uart tick ", rtos_tick_ms(), count++);
        rtos_delay_ticks(1000u);
    }
}

static void task_led(void)
{
    cos_lpc51u68_led_step_t step = COS_LPC51U68_LED_STEP_RED;

    for (;;) {
        rtos_set_led_step(step);
        step = (cos_lpc51u68_led_step_t)(((uint32_t)step + 1u) & 0x3u);
        rtos_delay_ticks(1000u);
    }
}