# CONFIG_PF_S3C2410 is not set
# CONFIG_PF_TEGRA2 is not set
# CONFIG_PF_OMAP is not set
-# CONFIG_PF_SA1100 is not set
# CONFIG_PF_XSCALE is not set
+# CONFIG_PF_SA1100 is not set
+# CONFIG_PF_EXYNOS is not set
# CONFIG_PF_KIRKWOOD is not set
# CONFIG_PF_INTEGRATOR is not set
+# CONFIG_PF_BCM2835 is not set
CONFIG_BSP_NAME="realview"
CONFIG_PF_REALVIEW_EB=y
# CONFIG_PF_REALVIEW_PB11MP is not set
# CONFIG_ARM_CORTEX_A8 is not set
# CONFIG_ARM_CORTEX_A9 is not set
# CONFIG_ARM_ALIGNMENT_CHECK is not set
+CONFIG_ARM_EM_STD=y
CONFIG_ARM_CACHE_L2CXX0=y
CONFIG_FPU=y
CONFIG_ARM_CPU_ERRATA=y
# CONFIG_SCHED_WFQ is not set
# CONFIG_SCHED_FP_WFQ is not set
# CONFIG_DISABLE_VIRT_OBJ_SPACE is not set
+CONFIG_VIRT_OBJ_SPACE=y
#
# Debugging