1 /*
2  * Copyright (c) 2019 Lexmark International, Inc.
3  * Copyright (c) 2024 Antmicro <www.antmicro.com>
4  *
5  * SPDX-License-Identifier: Apache-2.0
6  *
7  */
8 
9 #include <zephyr/kernel.h>
10 #include <zephyr/device.h>
11 
12 #include <cmsis_core.h>
13 
z_arm_platform_init(void)14 void z_arm_platform_init(void)
15 {
16 	/*
17 	 * Use normal exception vectors address range (0x0-0x1C).
18 	 */
19 	unsigned int sctlr = __get_SCTLR();
20 
21 	sctlr &= ~SCTLR_V_Msk;
22 	__set_SCTLR(sctlr);
23 }
24