update

[l4.git] / kernel / fiasco / src / kern / arm / bsp / realview / Kconfig

diff --git a/kernel/fiasco/src/kern/arm/bsp/realview/Kconfig b/kernel/fiasco/src/kern/arm/bsp/realview/Kconfig
index d43a7d74027cc926dcc9309ac00a92107154fad4..f7cc6e632dda3dd748038647297f8a15d0c488cb 100644 (file)
--- a/kernel/fiasco/src/kern/arm/bsp/realview/Kconfig
+++ b/kernel/fiasco/src/kern/arm/bsp/realview/Kconfig
@@ -31,28 +31,40 @@ config PF_REALVIEW_PBX
        help
          Choose for PBX-A9.
 
+config PF_REALVIEW_VEXPRESS
+       bool "Versatile Express"
+       depends on PF_REALVIEW
+       select CAN_ARM_CPU_CORTEX_A9
+       help
+         Choose for Versatile Express.
+
 endchoice
 
 choice
        prompt "Start of RAM (physical address)" if !PF_REALVIEW_EB
        default PF_REALVIEW_RAM_PHYS_BASE_0x0
 
-  config PF_REALVIEW_RAM_PHYS_BASE_0x0
+config PF_REALVIEW_RAM_PHYS_BASE_0x0
        bool "0x00000000"
 
-  config PF_REALVIEW_RAM_PHYS_BASE_0x2
+config PF_REALVIEW_RAM_PHYS_BASE_0x2
        bool "0x20000000"
        depends on PF_REALVIEW_PBX
 
-  config PF_REALVIEW_RAM_PHYS_BASE_0x7
+config PF_REALVIEW_RAM_PHYS_BASE_0x6
+       bool "0x60000000"
+       depends on PF_REALVIEW_VEXPRESS
+
+config PF_REALVIEW_RAM_PHYS_BASE_0x7
        bool "0x70000000"
        depends on PF_REALVIEW_PBX || PF_REALVIEW_PB11MP
 endchoice
 
 config PF_REALVIEW_RAM_PHYS_BASE
        hex
-       default 0x0        if !PF_REALVIEW_RAM_PHYS_BASE_0x2 && !PF_REALVIEW_RAM_PHYS_BASE_0x7
+       default 0x0        if !PF_REALVIEW_RAM_PHYS_BASE_0x2 && !PF_REALVIEW_RAM_PHYS_BASE_0x6 && !PF_REALVIEW_RAM_PHYS_BASE_0x7
        default 0x20000000 if PF_REALVIEW_RAM_PHYS_BASE_0x2
+       default 0x60000000 if PF_REALVIEW_RAM_PHYS_BASE_0x6
        default 0x70000000 if PF_REALVIEW_RAM_PHYS_BASE_0x7
 
 config PF_REALVIEW_L2CACHE