update

[l4.git] / kernel / fiasco / src / templates / globalconfig.out.arm-rv-4-noinl

diff --git a/kernel/fiasco/src/templates/globalconfig.out.arm-rv-4-noinl b/kernel/fiasco/src/templates/globalconfig.out.arm-rv-4-noinl
index 1a819884e66b10e2f4c4811c54d970ab9d7f1b35..29a746c3d21c878ed4af8676f212cd8f9d679949 100644 (file)
--- a/kernel/fiasco/src/templates/globalconfig.out.arm-rv-4-noinl
+++ b/kernel/fiasco/src/templates/globalconfig.out.arm-rv-4-noinl
@@ -14,8 +14,10 @@ CONFIG_PF_REALVIEW=y
 # CONFIG_PF_OMAP is not set
 # CONFIG_PF_XSCALE is not set
 # CONFIG_PF_SA1100 is not set
+# CONFIG_PF_EXYNOS is not set
 # CONFIG_PF_KIRKWOOD is not set
 # CONFIG_PF_INTEGRATOR is not set
+# CONFIG_PF_BCM2835 is not set
 CONFIG_BSP_NAME="realview"
 CONFIG_PF_REALVIEW_EB=y
 # CONFIG_PF_REALVIEW_PB11MP is not set
@@ -34,7 +36,9 @@ CONFIG_ARM_926=y
 # CONFIG_ARM_CORTEX_A8 is not set
 # CONFIG_ARM_CORTEX_A9 is not set
 # CONFIG_ARM_ALIGNMENT_CHECK is not set
+CONFIG_ARM_EM_STD=y
 # CONFIG_FPU is not set
+CONFIG_ARM_CPU_ERRATA=y
 
 #
 # Kernel options