X-Git-Url: https://rtime.felk.cvut.cz/gitweb/l4.git/blobdiff_plain/35719fdd2ff27177690edb32843d32e092a006e3..5658d2ec9c1081516a8868259fa867926e25ab3f:/kernel/fiasco/src/templates/globalconfig.out.arm-int-1

diff --git a/kernel/fiasco/src/templates/globalconfig.out.arm-int-1 b/kernel/fiasco/src/templates/globalconfig.out.arm-int-1
index ecfd641a2..92976ecce 100644
--- a/kernel/fiasco/src/templates/globalconfig.out.arm-int-1
+++ b/kernel/fiasco/src/templates/globalconfig.out.arm-int-1
@@ -12,8 +12,8 @@ CONFIG_ARM=y
 # CONFIG_PF_S3C2410 is not set
 # CONFIG_PF_TEGRA2 is not set
 # CONFIG_PF_OMAP is not set
-# CONFIG_PF_XSCALE is not set
 # CONFIG_PF_SA1100 is not set
+# CONFIG_PF_XSCALE is not set
 # CONFIG_PF_KIRKWOOD is not set
 CONFIG_PF_INTEGRATOR=y
 CONFIG_BSP_NAME="integrator"
@@ -24,6 +24,7 @@ CONFIG_ARM_926=y
 # CONFIG_ARM_1176 is not set
 # CONFIG_ARM_ALIGNMENT_CHECK is not set
 # CONFIG_FPU is not set
+# CONFIG_ARM_CPU_ERRATA is not set
 
 #
 # Kernel options