1 /*
2  * Copyright (c) 2024 Vogl Electronic GmbH
3  *
4  * SPDX-License-Identifier: Apache-2.0
5  */
6 #define DT_DRV_COMPAT litex_soc_controller
7 
8 #include <zephyr/kernel.h>
9 #include <zephyr/devicetree.h>
10 #include <zephyr/sys/reboot.h>
11 #include <soc.h>
12 
13 #define LITEX_CTRL_RESET DT_INST_REG_ADDR_BY_NAME(0, reset)
14 
sys_arch_reboot(int type)15 void sys_arch_reboot(int type)
16 {
17 	ARG_UNUSED(type);
18 	/* SoC Reset on BIT(0)*/
19 	litex_write8(BIT(0), LITEX_CTRL_RESET);
20 }
21