]> rtime.felk.cvut.cz Git - l4.git/blobdiff - kernel/fiasco/src/templates/globalconfig.out.arm-rv-4-noinl
update
[l4.git] / kernel / fiasco / src / templates / globalconfig.out.arm-rv-4-noinl
index 9704ff1e5bfed13aa315d7d4d689c5dbaf82e703..68e8db99c36f4b21aa49dae69e35c52c0ea89ba5 100644 (file)
@@ -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