update

[l4.git] / l4 / mk / Kconfig

diff --git a/l4/mk/Kconfig b/l4/mk/Kconfig
index e600c033d268ca83452a2fd6ed77d8b955cbed86..27efec173bfd378691d52a142acc0696f2ca6ebb 100644 (file)
--- a/l4/mk/Kconfig
+++ b/l4/mk/Kconfig
@@ -22,6 +22,9 @@ config BUILD_ARCH_arm
 config BUILD_ARCH_ppc32
        bool "PowerPC 32 architecture (EXPERIMENTAL!)"
 
+config BUILD_ARCH_sparc
+       bool "Sparc architecture (EXPERIMENTAL)"
+
 endchoice
 
 config BUILD_ARCH
@@ -30,6 +33,7 @@ config BUILD_ARCH
        default "arm"   if BUILD_ARCH_arm
        default "amd64" if BUILD_ARCH_amd64
        default "ppc32" if BUILD_ARCH_ppc32
+       default "sparc" if BUILD_ARCH_sparc
 
 # currently we have nothing for abi linux, so just do not offer this option
 #choice
@@ -57,10 +61,6 @@ if BUILD_ARCH_x86 || BUILD_ARCH_amd64
 choice
        prompt "CPU variant"
        
-config CPU_X86_GENERIC
-       bool "generic CPU"
-       depends on BUILD_ARCH_x86
-
 config CPU_X86_586
        bool "586 type CPU"
        depends on BUILD_ARCH_x86
@@ -140,7 +140,6 @@ endchoice
 
 config CPU
        string
-       default "generic"    if CPU_X86_GENERIC
        default "586"        if CPU_X86_586
        default "pentium"    if CPU_X86_PENTIUM
        default "pentiummmx" if CPU_X86_PENTIUMMMX
@@ -219,8 +218,8 @@ config CPU
        default "armv6"    if CPU_ARM_ARMV6
        default "armv6t2"  if CPU_ARM_ARMV6T2
        default "armv6zk"  if CPU_ARM_ARMV6ZK
-       default "armv7-a"  if CPU_ARM_ARMV7A
-       default "armv7-r"  if CPU_ARM_ARMV7R
+       default "armv7a"   if CPU_ARM_ARMV7A
+       default "armv7r"   if CPU_ARM_ARMV7R
 
 config CPU_ARMV6KPLUS
        bool
@@ -244,12 +243,21 @@ config PLATFORM_ARM_rv
 config PLATFORM_ARM_imx21
        bool "Freescale i.MX21"
 
+config PLATFORM_ARM_imx51
+       bool "Freescale i.MX51"
+
 config PLATFORM_ARM_omap3evm
        bool "TI OMAP3EVM"
 
 config PLATFORM_ARM_beagleboard
        bool "Beagleboard"
 
+config PLATFORM_ARM_pandaboard
+       bool "Pandaboard"
+
+config PLATFORM_ARM_tegra2
+       bool "NVIDIA Tegra 2"
+
 config PLATFORM_ARM_custom
        bool "Custom platform"
 
@@ -302,6 +310,21 @@ config RAM_SIZE_MB
        default 64
 endif
 
+if PLATFORM_ARM_imx51
+
+config ARM_PLATFORM_TYPE
+       string
+       default "imx51"
+
+config RAM_BASE
+       hex
+       default 0x90000000
+
+config RAM_SIZE_MB
+       int
+       default 512
+endif
+
 if PLATFORM_ARM_omap3evm
 
 config ARM_PLATFORM_TYPE
@@ -332,6 +355,36 @@ config RAM_SIZE_MB
        default 128
 endif
 
+if PLATFORM_ARM_pandaboard
+
+config ARM_PLATFORM_TYPE
+       string
+       default "pandaboard"
+
+config RAM_BASE
+       hex
+       default 0x80000000
+
+config RAM_SIZE_MB
+       int
+       default 512
+endif
+
+if PLATFORM_ARM_tegra2
+
+config ARM_PLATFORM_TYPE
+       string
+       default "tegra2"
+
+config RAM_BASE
+       hex
+       default 0x0
+
+config RAM_SIZE_MB
+       int
+       default 64
+endif
+
 if PLATFORM_ARM_custom
 
 
@@ -389,6 +442,20 @@ endif
 
 
 
+
+if BUILD_ARCH_sparc
+
+config CPU
+       string "Sparc CPU variant"
+       default "v8"
+
+config SPARC_PLATFORM_TYPE
+       string
+       default "leon3"
+
+endif
+
+
 config USE_DROPS_STDDIR
        def_bool n