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

diff --git a/kernel/fiasco/src/templates/globalconfig.out.arm-imx21 b/kernel/fiasco/src/templates/globalconfig.out.arm-imx21
index 201d6f814..213aca487 100644
--- a/kernel/fiasco/src/templates/globalconfig.out.arm-imx21
+++ b/kernel/fiasco/src/templates/globalconfig.out.arm-imx21
@@ -12,20 +12,22 @@ CONFIG_PF_IMX=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 is not set
 CONFIG_BSP_NAME="imx"
 CONFIG_PF_IMX_21=y
 # CONFIG_PF_IMX_35 is not set
 # CONFIG_PF_IMX_51 is not set
+# CONFIG_PF_IMX_6 is not set
 CONFIG_PF_IMX_RAM_PHYS_BASE=0xc0000000
 CONFIG_ABI_VF=y
 CONFIG_CAN_ARM_CPU_926=y
 CONFIG_ARM_926=y
 # CONFIG_ARM_ALIGNMENT_CHECK is not set
 # CONFIG_FPU is not set
+CONFIG_ARM_CPU_ERRATA=y
 
 #
 # Kernel options