update

[l4.git] / l4 / mk / defconfig / config.arm-rv

diff --git a/l4/mk/defconfig/config.arm-rv b/l4/mk/defconfig/config.arm-rv
index e1d57ae4e111d54708e1cfed27ccaa72e56949cb..70b67209fb87e57d196f9fdf63a93477dceba446 100644 (file)
--- a/l4/mk/defconfig/config.arm-rv
+++ b/l4/mk/defconfig/config.arm-rv
@@ -1,6 +1,6 @@
 #
 # Automatically generated make config: don't edit
-# L4Re version: SVN
+# L4Re Configuration
 #
 # CONFIG_BUILD_ARCH_x86 is not set
 # CONFIG_BUILD_ARCH_amd64 is not set
@@ -31,6 +31,7 @@ CONFIG_PLATFORM_ARM_rv=y
 # CONFIG_PLATFORM_ARM_imx51 is not set
 # CONFIG_PLATFORM_ARM_omap3evm is not set
 # CONFIG_PLATFORM_ARM_beagleboard is not set
+# CONFIG_PLATFORM_ARM_pandaboard is not set
 # CONFIG_PLATFORM_ARM_tegra2 is not set
 # CONFIG_PLATFORM_ARM_custom is not set
 CONFIG_ARM_PLATFORM_TYPE="rv"