3 * Kamil Lulko, <kamil.lulko@gmail.com>
5 * SPDX-License-Identifier: GPL-2.0+
10 #include <asm/armv7m_mpu.h>
11 #include <asm/arch/stm32.h>
18 int arch_cpu_init(void)
20 struct mpu_region_config stm32_region_config[] = {
21 { 0x00000000, REGION_0, XN_DIS, PRIV_RW_USR_RW,
22 O_I_WB_RD_WR_ALLOC, REGION_4GB },
24 { 0x00000000, REGION_1, XN_DIS, PRIV_RW_USR_RW,
25 STRONG_ORDER, REGION_512MB },
27 { 0x40000000, REGION_2, XN_EN, PRIV_RW_USR_RW,
28 DEVICE_NON_SHARED, REGION_512MB },
30 { 0xA0000000, REGION_3, XN_EN, PRIV_RW_USR_RW,
31 DEVICE_NON_SHARED, REGION_512MB },
33 { 0xE0000000, REGION_4, XN_EN, PRIV_RW_USR_RW,
34 STRONG_ORDER, REGION_512MB },
38 for (int i = 0; i < ARRAY_SIZE(stm32_region_config); i++)
39 mpu_config(&stm32_region_config[i]);