1 /*
2  * Copyright (c) 2025 GARDENA GmbH
3  * Copyright (c) 2025 Nordic Semiconductor ASA
4  *
5  * SPDX-License-Identifier: Apache-2.0
6  */
7 
8 #include "reboot_bottom.h"
9 #include "posix_board_if.h"
10 
sys_arch_reboot(int type)11 void sys_arch_reboot(int type)
12 {
13 	(void)type;
14 	native_set_reboot_on_exit();
15 	posix_exit(0);
16 }
17