1 /*
2  * Copyright (c) 2020 Henrik Brix Andersen <henrik@brixandersen.dk>
3  *
4  * SPDX-License-Identifier: Apache-2.0
5  */
6 
7 #include <zephyr/device.h>
8 #include <zephyr/arch/arm/aarch32/nmi.h>
9 
arm_designstart_init(void)10 static int arm_designstart_init(void)
11 {
12 
13 	/*
14 	 * Install default handler that simply resets the CPU if
15 	 * configured in the kernel, NOP otherwise
16 	 */
17 	NMI_INIT();
18 
19 	return 0;
20 }
21 
22 SYS_INIT(arm_designstart_init, PRE_KERNEL_1, 0);
23