update

[l4.git] / 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 44a9af3589c3681800e83d9d38a710c29974a9ef..d6169a7c9a9b90e0288f92587f202c361f4d2088 100644 (file)
--- a/kernel/fiasco/src/templates/globalconfig.out.arm-int-1
+++ b/kernel/fiasco/src/templates/globalconfig.out.arm-int-1
@@ -12,7 +12,7 @@ CONFIG_ARM=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