X-Git-Url: https://rtime.felk.cvut.cz/gitweb/l4.git/blobdiff_plain/56f5334cc1eaa0194bd91769f57b683f90ba3d76..c08ea499551bb4dd41537ac1241e03757f360759:/kernel/fiasco/src/templates/globalconfig.out.arm-v6-mp-eb

diff --git a/kernel/fiasco/src/templates/globalconfig.out.arm-v6-mp-eb b/kernel/fiasco/src/templates/globalconfig.out.arm-v6-mp-eb
index 205a568ee..05897e87a 100644
--- a/kernel/fiasco/src/templates/globalconfig.out.arm-v6-mp-eb
+++ b/kernel/fiasco/src/templates/globalconfig.out.arm-v6-mp-eb
@@ -9,10 +9,10 @@
 CONFIG_ARM=y
 # CONFIG_PPC32 is not set
 # CONFIG_SPARC is not set
-CONFIG_PF_REALVIEW=y
 # CONFIG_PF_IMX is not set
+CONFIG_PF_REALVIEW=y
 # 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