update

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

diff --git a/kernel/fiasco/src/templates/globalconfig.out.arm-v6 b/kernel/fiasco/src/templates/globalconfig.out.arm-v6
index e0333937975c9010ec7198d9870121aa373d18d9..4c5dd197688140b63e7d48bb7bb754c9a76042c2 100644 (file)
--- a/kernel/fiasco/src/templates/globalconfig.out.arm-v6
+++ b/kernel/fiasco/src/templates/globalconfig.out.arm-v6
@@ -12,7 +12,7 @@ CONFIG_PF_REALVIEW=y
 # CONFIG_PF_IMX is not set
 # CONFIG_PF_S3C2410 is not set
 # CONFIG_PF_TEGRA2 is not set
-# CONFIG_PF_OMAP3 is not set
+# CONFIG_PF_OMAP is not set
 # CONFIG_PF_XSCALE is not set
 # CONFIG_PF_SA1100 is not set
 # CONFIG_PF_KIRKWOOD is not set
@@ -21,6 +21,7 @@ CONFIG_BSP_NAME="realview"
 CONFIG_PF_REALVIEW_EB=y
 # CONFIG_PF_REALVIEW_PB11MP is not set
 # CONFIG_PF_REALVIEW_PBX is not set
+# CONFIG_PF_REALVIEW_VEXPRESS is not set
 CONFIG_PF_REALVIEW_RAM_PHYS_BASE=0x0
 CONFIG_ABI_VF=y
 CONFIG_CAN_ARM_CPU_926=y