update

[l4.git] / kernel / fiasco / src / templates / globalconfig.out.arm-sa

diff --git a/kernel/fiasco/src/templates/globalconfig.out.arm-sa b/kernel/fiasco/src/templates/globalconfig.out.arm-sa
index e19e8a77b857e11b6c6aa44626b89776a70173ec..0b117918e8d94205ff2a20825638d527ce356d69 100644 (file)
--- a/kernel/fiasco/src/templates/globalconfig.out.arm-sa
+++ b/kernel/fiasco/src/templates/globalconfig.out.arm-sa
@@ -12,15 +12,18 @@ CONFIG_ARM=y
 # CONFIG_PF_S3C2410 is not set
 # CONFIG_PF_TEGRA2 is not set
 # CONFIG_PF_OMAP is not set
-CONFIG_PF_SA1100=y
 # CONFIG_PF_XSCALE is not set
+CONFIG_PF_SA1100=y
+# 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="sa1100"
 CONFIG_ABI_VF=y
 CONFIG_CAN_ARM_CPU_SA1100=y
 CONFIG_ARM_SA=y
 # CONFIG_ARM_ALIGNMENT_CHECK is not set
+CONFIG_ARM_EM_STD=y
 # CONFIG_FPU is not set
 # CONFIG_ARM_CPU_ERRATA is not set