X-Git-Url: https://rtime.felk.cvut.cz/gitweb/l4.git/blobdiff_plain/013297c0d65e3dab85bb75c5a104babaebedd230..56a09572268504317eb2885b827f9c4378071a7c:/kernel/fiasco/src/templates/globalconfig.out.arm-a9-mp-1

diff --git a/kernel/fiasco/src/templates/globalconfig.out.arm-a9-mp-1 b/kernel/fiasco/src/templates/globalconfig.out.arm-a9-mp-1
index 0f07363fa..6eec3f0d2 100644
--- a/kernel/fiasco/src/templates/globalconfig.out.arm-a9-mp-1
+++ b/kernel/fiasco/src/templates/globalconfig.out.arm-a9-mp-1
@@ -14,10 +14,12 @@ CONFIG_PF_REALVIEW=y
 # CONFIG_PF_S3C2410 is not set
 # CONFIG_PF_TEGRA2 is not set
 # CONFIG_PF_OMAP is not set
-# CONFIG_PF_SA1100 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
@@ -37,8 +39,10 @@ CONFIG_CAN_ARM_CPU_CORTEX_A9=y
 # CONFIG_ARM_CORTEX_A8 is not set
 CONFIG_ARM_CORTEX_A9=y
 # CONFIG_ARM_ALIGNMENT_CHECK is not set
-# CONFIG_ARM_TZ is not set
-CONFIG_ARM_CA9_ENABLE_SWP=y
+CONFIG_ARM_EM_STD=y
+# CONFIG_ARM_EM_NS is not set
+# CONFIG_ARM_EM_TZ is not set
+# CONFIG_ARM_ENABLE_SWP is not set
 CONFIG_FPU=y
 CONFIG_ARM_CPU_ERRATA=y
 
@@ -53,6 +57,7 @@ CONFIG_SCHED_FIXED_PRIO=y
 # CONFIG_SCHED_WFQ is not set
 # CONFIG_SCHED_FP_WFQ is not set
 # CONFIG_DISABLE_VIRT_OBJ_SPACE is not set
+CONFIG_VIRT_OBJ_SPACE=y
 
 #
 # Debugging