update

[l4.git] / kernel / fiasco / src / templates / globalconfig.out.arm-t2

diff --git a/kernel/fiasco/src/templates/globalconfig.out.arm-t2 b/kernel/fiasco/src/templates/globalconfig.out.arm-t2
index d98456ff5f5d9a6d340438a528d9accfe59ea22d..26505718b738ef68cd523872a74e077a044a2e15 100644 (file)
--- a/kernel/fiasco/src/templates/globalconfig.out.arm-t2
+++ b/kernel/fiasco/src/templates/globalconfig.out.arm-t2
@@ -7,13 +7,15 @@
 # CONFIG_IA32 is not set
 # CONFIG_AMD64 is not set
 CONFIG_ARM=y
+# CONFIG_PPC32 is not set
+# CONFIG_SPARC is not set
 # CONFIG_PF_REALVIEW is not set
 # CONFIG_PF_IMX is not set
 # CONFIG_PF_S3C2410 is not set
 CONFIG_PF_TEGRA2=y
 # CONFIG_PF_OMAP is not set
-# CONFIG_PF_XSCALE is not set
 # CONFIG_PF_SA1100 is not set
+# CONFIG_PF_XSCALE is not set
 # CONFIG_PF_KIRKWOOD is not set
 # CONFIG_PF_INTEGRATOR is not set
 CONFIG_BSP_NAME="tegra2"