1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
| /*
| * (C) Copyright 2015
| * Kamil Lulko, <kamil.lulko@gmail.com>
| *
| * SPDX-License-Identifier: GPL-2.0+
| */
|
| #include <common.h>
| #include <asm/io.h>
| #include <asm/armv7m_mpu.h>
| #include <asm/arch/stm32.h>
|
| u32 get_cpu_rev(void)
| {
| return 0;
| }
|
| int arch_cpu_init(void)
| {
| int i;
|
| struct mpu_region_config stm32_region_config[] = {
| { 0x00000000, REGION_0, XN_DIS, PRIV_RW_USR_RW,
| O_I_WB_RD_WR_ALLOC, REGION_4GB },
|
| { 0x00000000, REGION_1, XN_DIS, PRIV_RW_USR_RW,
| STRONG_ORDER, REGION_512MB },
|
| { 0x40000000, REGION_2, XN_EN, PRIV_RW_USR_RW,
| DEVICE_NON_SHARED, REGION_512MB },
|
| { 0xA0000000, REGION_3, XN_EN, PRIV_RW_USR_RW,
| DEVICE_NON_SHARED, REGION_512MB },
|
| { 0xE0000000, REGION_4, XN_EN, PRIV_RW_USR_RW,
| STRONG_ORDER, REGION_512MB },
| };
|
| disable_mpu();
| for (i = 0; i < ARRAY_SIZE(stm32_region_config); i++)
| mpu_config(&stm32_region_config[i]);
| enable_mpu();
|
| return 0;
| }
|
| void s_init(void)
| {
| }
|
|
