| 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
 | |   |  | if TARGET_LS1043ARDB |  |   |  | config SYS_BOARD |  |     default "ls1043ardb" |  |   |  | config SYS_VENDOR |  |     default "freescale" |  |   |  | config SYS_SOC |  |     default "fsl-layerscape" |  |   |  | config SYS_CONFIG_NAME |  |     default "ls1043ardb" |  |   |  | config SYS_HAS_ARMV8_SECURE_BASE |  |     bool "Enable secure address for PSCI image" |  |     depends on ARMV8_PSCI |  |     default n |  |     help |  |       PSCI image can be re-located to secure RAM. |  |       If enabled, please also define the value for ARMV8_SECURE_BASE, |  |       for LS1043ARDB, it could be some address in OCRAM. |  |   |  | source "board/freescale/common/Kconfig" |  |   |  | endif | 
 |