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 6d956556c6a59a158e047d535901c31c797a2d9c..948c766ff05eed9d720cd317e8b0c0d2e14addd6 100644 (file)
--- a/l4/mk/defconfig/config.arm-rv
+++ b/l4/mk/defconfig/config.arm-rv
@@ -22,6 +22,7 @@ CONFIG_CPU_ARM_ARMV5TE=y
 # CONFIG_CPU_ARM_ARMV7A is not set
 # CONFIG_CPU_ARM_ARMV7R is not set
 # CONFIG_PLATFORM_TYPE_beagleboard is not set
+# CONFIG_PLATFORM_TYPE_cubieboard2 is not set
 # CONFIG_PLATFORM_TYPE_exynos4 is not set
 # CONFIG_PLATFORM_TYPE_exynos5 is not set
 # CONFIG_PLATFORM_TYPE_imx21 is not set
@@ -32,7 +33,9 @@ CONFIG_CPU_ARM_ARMV5TE=y
 # CONFIG_PLATFORM_TYPE_kirkwood is not set
 # CONFIG_PLATFORM_TYPE_omap3_am33xx is not set
 # CONFIG_PLATFORM_TYPE_omap3evm is not set
+# CONFIG_PLATFORM_TYPE_omap5 is not set
 # CONFIG_PLATFORM_TYPE_pandaboard is not set
+# CONFIG_PLATFORM_TYPE_parallella is not set
 # CONFIG_PLATFORM_TYPE_rpi_a is not set
 # CONFIG_PLATFORM_TYPE_rpi_b is not set
 CONFIG_PLATFORM_TYPE_rv=y
@@ -41,6 +44,7 @@ CONFIG_PLATFORM_TYPE_rv=y
 # CONFIG_PLATFORM_TYPE_rv_vexpress_a15 is not set
 # CONFIG_PLATFORM_TYPE_tegra2 is not set
 # CONFIG_PLATFORM_TYPE_tegra3 is not set
+# CONFIG_PLATFORM_TYPE_zedboard is not set
 # CONFIG_PLATFORM_TYPE_custom is not set
 CONFIG_PLATFORM_TYPE="rv"
 # CONFIG_USE_DROPS_STDDIR is not set
@@ -59,7 +63,9 @@ CONFIG_INT_CPP_NAME_SWITCH=y
 CONFIG_INT_LD_NAME_SWITCH=y
 # CONFIG_BID_STRIP_PROGS is not set
 # CONFIG_BID_GCC_OMIT_FP is not set
-# CONFIG_BID_GENERATE_MAPFILE is not set
+CONFIG_BID_GCC_ENABLE_STACK_PROTECTOR=y
+# CONFIG_BID_GCC_STACK_PROTECTOR_ALL is not set
+CONFIG_BID_GCC_STACK_PROTECTOR=y
 # CONFIG_BID_BUILD_DOC is not set
 # CONFIG_RELEASE_MODE is not set
 CONFIG_MAKECONFS_ADD=""