]> rtime.felk.cvut.cz Git - l4.git/blobdiff - kernel/fiasco/src/templates/globalconfig.out.arm-imx6
update
[l4.git] / kernel / fiasco / src / templates / globalconfig.out.arm-imx6
index 09116d9df5e33e4443b4bf0d353320ded5b89307..f7b466585e625c0a60f4591ab6c6d81ed92f2cd3 100644 (file)
@@ -7,10 +7,10 @@
 # CONFIG_IA32 is not set
 # CONFIG_AMD64 is not set
 CONFIG_ARM=y
-# CONFIG_PF_REALVIEW is not set
 CONFIG_PF_IMX=y
+# CONFIG_PF_REALVIEW is not set
 # CONFIG_PF_S3C2410 is not set
-# CONFIG_PF_TEGRA2 is not set
+# CONFIG_PF_TEGRA is not set
 # CONFIG_PF_OMAP is not set
 # CONFIG_PF_XSCALE is not set
 # CONFIG_PF_SA1100 is not set