# CONFIG_IA32 is not set
# CONFIG_AMD64 is not set
CONFIG_ARM=y
-# CONFIG_PF_REALVIEW is not set
# CONFIG_PF_IMX is not set
+# 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=y
# CONFIG_PF_XSCALE is not set
# CONFIG_PF_SA1100 is not set