]> rtime.felk.cvut.cz Git - l4.git/blob - kernel/fiasco/src/kern/arm/bsp/realview/Kconfig
d43a7d74027cc926dcc9309ac00a92107154fad4
[l4.git] / kernel / fiasco / src / kern / arm / bsp / realview / Kconfig
1 # PF: REALVIEW
2 # PFDESCR: ARM RealView Platform
3 # PFDEPENDS: ARM
4
5 choice
6         prompt "Realview Platform"
7         default PF_REALVIEW_EB
8
9 config PF_REALVIEW_EB
10         bool "Emulation Baseboard (EB)"
11         depends on PF_REALVIEW
12         select CAN_ARM_CPU_926
13         select CAN_ARM_CPU_1176
14         select CAN_ARM_CPU_MPCORE
15         select CAN_ARM_CPU_CORTEX_A8
16         select CAN_ARM_CPU_CORTEX_A9
17         help
18           Choose for Emulation Baseboard (EB)
19
20 config PF_REALVIEW_PB11MP
21         bool "PB11MP"
22         depends on PF_REALVIEW
23         select CAN_ARM_CPU_MPCORE
24         help
25           Choose for PB11MP
26
27 config PF_REALVIEW_PBX
28         bool "PBX"
29         depends on PF_REALVIEW
30         select CAN_ARM_CPU_CORTEX_A9
31         help
32           Choose for PBX-A9.
33
34 endchoice
35
36 choice
37         prompt "Start of RAM (physical address)" if !PF_REALVIEW_EB
38         default PF_REALVIEW_RAM_PHYS_BASE_0x0
39
40   config PF_REALVIEW_RAM_PHYS_BASE_0x0
41         bool "0x00000000"
42
43   config PF_REALVIEW_RAM_PHYS_BASE_0x2
44         bool "0x20000000"
45         depends on PF_REALVIEW_PBX
46
47   config PF_REALVIEW_RAM_PHYS_BASE_0x7
48         bool "0x70000000"
49         depends on PF_REALVIEW_PBX || PF_REALVIEW_PB11MP
50 endchoice
51
52 config PF_REALVIEW_RAM_PHYS_BASE
53         hex
54         default 0x0        if !PF_REALVIEW_RAM_PHYS_BASE_0x2 && !PF_REALVIEW_RAM_PHYS_BASE_0x7
55         default 0x20000000 if PF_REALVIEW_RAM_PHYS_BASE_0x2
56         default 0x70000000 if PF_REALVIEW_RAM_PHYS_BASE_0x7
57
58 config PF_REALVIEW_L2CACHE
59         bool "Enable L2 Cache"
60         default y
61         depends on PF_REALVIEW_PB11MP || PF_REALVIEW_PBX || ARM_MPCORE