X-Git-Url: https://rtime.felk.cvut.cz/gitweb/l4.git/blobdiff_plain/f4122e6e085938b6d216a9ec724b974a603f6992..983fe7c4ac262f56d38a143b1efab1e4afb77a52:/kernel/fiasco/src/templates/globalconfig.out.arm-int-2

diff --git a/kernel/fiasco/src/templates/globalconfig.out.arm-int-2 b/kernel/fiasco/src/templates/globalconfig.out.arm-int-2
index 41367e5d9..5fce0c512 100644
--- a/kernel/fiasco/src/templates/globalconfig.out.arm-int-2
+++ b/kernel/fiasco/src/templates/globalconfig.out.arm-int-2
@@ -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