/* Change Logs: Date Author Notes  RT-Thread the first version  */
RT_WEAK void machine_reset(void)
/* Change Logs: Date Author Notes  RT-Thread the first version  */
RT_WEAK void machine_reset(void)
{
    rt_kprintf("reboot system...\n");
    rt_hw_interrupt_disable();
    while (1);
}