update

[l4.git] / l4 / mk / Kconfig

diff --git a/l4/mk/Kconfig b/l4/mk/Kconfig
index 76f1963a13b85224d102359e49e9d1ad61f9bfa1..27efec173bfd378691d52a142acc0696f2ca6ebb 100644 (file)
--- a/l4/mk/Kconfig
+++ b/l4/mk/Kconfig
@@ -252,6 +252,9 @@ config PLATFORM_ARM_omap3evm
 config PLATFORM_ARM_beagleboard
        bool "Beagleboard"
 
+config PLATFORM_ARM_pandaboard
+       bool "Pandaboard"
+
 config PLATFORM_ARM_tegra2
        bool "NVIDIA Tegra 2"
 
@@ -352,6 +355,21 @@ 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