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 fe275baa962e0caad051d22eb8f4df6338b23cba..70b67209fb87e57d196f9fdf63a93477dceba446 100644 (file)
--- a/l4/mk/defconfig/config.arm-rv
+++ b/l4/mk/defconfig/config.arm-rv
@@ -1,11 +1,12 @@
 #
 # 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
 CONFIG_BUILD_ARCH_arm=y
 # CONFIG_BUILD_ARCH_ppc32 is not set
+# CONFIG_BUILD_ARCH_sparc is not set
 CONFIG_BUILD_ARCH="arm"
 CONFIG_BUILD_ABI_l4f=y
 CONFIG_BUILD_ABI="l4f"
@@ -30,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"