]> rtime.felk.cvut.cz Git - l4.git/blob - kernel/fiasco/src/kern/arm/bsp/realview/Kconfig
update
[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 config PF_REALVIEW_VEXPRESS
35         bool "Versatile Express"
36         depends on PF_REALVIEW
37         select CAN_ARM_CPU_CORTEX_A9
38         help
39           Choose for Versatile Express.
40
41 endchoice
42
43 choice
44         prompt "Start of RAM (physical address)" if !PF_REALVIEW_EB
45         default PF_REALVIEW_RAM_PHYS_BASE_0x0
46
47 config PF_REALVIEW_RAM_PHYS_BASE_0x0
48         bool "0x00000000"
49
50 config PF_REALVIEW_RAM_PHYS_BASE_0x2
51         bool "0x20000000"
52         depends on PF_REALVIEW_PBX
53
54 config PF_REALVIEW_RAM_PHYS_BASE_0x6
55         bool "0x60000000"
56         depends on PF_REALVIEW_VEXPRESS
57
58 config PF_REALVIEW_RAM_PHYS_BASE_0x7
59         bool "0x70000000"
60         depends on PF_REALVIEW_PBX || PF_REALVIEW_PB11MP
61 endchoice
62
63 config PF_REALVIEW_RAM_PHYS_BASE
64         hex
65         default 0x0        if !PF_REALVIEW_RAM_PHYS_BASE_0x2 && !PF_REALVIEW_RAM_PHYS_BASE_0x6 && !PF_REALVIEW_RAM_PHYS_BASE_0x7
66         default 0x20000000 if PF_REALVIEW_RAM_PHYS_BASE_0x2
67         default 0x60000000 if PF_REALVIEW_RAM_PHYS_BASE_0x6
68         default 0x70000000 if PF_REALVIEW_RAM_PHYS_BASE_0x7
69
70 config PF_REALVIEW_L2CACHE
71         bool "Enable L2 Cache"
72         default y
73         depends on PF_REALVIEW_PB11MP || PF_REALVIEW_PBX || ARM_MPCORE