1 /*
2  * Copyright (c) 2006-2021, RT-Thread Development Team
3  *
4  * SPDX-License-Identifier: Apache-2.0
5  *
6  * Change Logs:
7  * Date           Author       Notes
8  * 2018-02-08     RT-Thread    the first version
9  */
10 
11 #include <rthw.h>
12 #include <rtthread.h>
13 
machine_reset(void)14 rt_weak void machine_reset(void)
15 {
16     rt_kprintf("reboot system...\n");
17     rt_hw_interrupt_disable();
18     while (1);
19 }
20 
machine_shutdown(void)21 rt_weak void machine_shutdown(void)
22 {
23     rt_kprintf("shutdown...\n");
24     rt_hw_interrupt_disable();
25     while (1);
26 }
27 
28