/* Change Logs: Date Author Notes  GSunwinder first version  */
int main(void)
/* Change Logs: Date Author Notes  GSunwinder first version  */
int main(void)
{
    printf("SystemClk: %d Hz\r\n", SystemCoreClock);
    rt_pin_mode(LED_BLUE, PIN_MODE_OUTPUT);
    rt_pin_mode(LED_RED,  PIN_MODE_OUTPUT);
    while (1)
    {
        rt_pin_write(LED_RED,  PIN_LOW);
        rt_pin_write(LED_BLUE, PIN_HIGH);
        rt_thread_mdelay(1000);
        rt_pin_write(LED_RED,  PIN_HIGH);
        rt_pin_write(LED_BLUE, PIN_LOW);
        rt_thread_mdelay(1000);
    }
}