1 /*
2  * Copyright (c) 2021 Nordic Semiconductor ASA
3  *
4  * SPDX-License-Identifier: Apache-2.0
5  */
6 #include <zephyr/kernel.h>
7 
8 #include "tfm_platform_api.h"
9 
10 #if defined(TFM_PSA_API)
11 #include "psa_manifest/sid.h"
12 #endif /* TFM_PSA_API */
13 
14 /**
15  *
16  * @brief Reset the system
17  *
18  * This routine resets the processor.
19  *
20  * The function requests Trusted-Firmware-M to reset the processor,
21  * on behalf of the Non-Secure application. The function overrides
22  * the weak implementation of sys_arch_reboot() in scb.c.
23  *
24  * \pre The implementation requires the TFM_PARTITION_PLATFORM be defined.
25  */
26 
27 #if defined(CONFIG_TFM_PARTITION_PLATFORM)
sys_arch_reboot(int type)28 void sys_arch_reboot(int type)
29 {
30 	ARG_UNUSED(type);
31 
32 	(void)tfm_platform_system_reset();
33 }
34 #endif /* CONFIG_TFM_PARTITION_PLATFORM */
35