void MicoSystemReboot( void ) { platform_mcu_reset(); }
void hal_reboot(void) { platform_mcu_reset(); }