CONFIG_MMU=y
CONFIG_ARCH_OMAP=y
CONFIG_ARCH_OMAP2PLUS=y
CONFIG_ARCH_OMAP2=n
CONFIG_ARCH_OMAP3=n
CONFIG_ARCH_OMAP4=n
CONFIG_SOC_OMAP5=y
CONFIG_SOC_AM33XX=n
CONFIG_SOC_AM43XX=n
CONFIG_SOC_DRA7XX=n
# Keep XIP_KERNEL disabled and ARM_PATCH_PHYS_VIRT enabled to avoid PHYS_OFFSET being exposed
CONFIG_ARM_PATCH_PHYS_VIRT=y
CONFIG_XIP_KERNEL=n
# Our toolchain has no T2 support
CONFIG_THUMB2_KERNEL=n
# 8 Jan 2013: disable zsmalloc: ERROR: "v4wbi_flush_kern_tlb_range" [drivers/staging/zsmalloc/zsmalloc.ko] undefined!
# It has more serious problems than just a missing export.
CONFIG_ZSMALLOC=n
# 26 Jan 2013: Update for OMAP moving to multiplatform
CONFIG_ARCH_MULTIPLATFORM=y
CONFIG_ARCH_MULTI_V7=y
# 19 Jul 2013: don't generate debug info
CONFIG_DEBUG_INFO=n
# 2 Aug 2013: disable SAMPLES - this needs linux/seccomp.h in the host environment
CONFIG_SAMPLES=n
# 30 Dec 2013: disable building wanxl firmware: we don't have as68k etc
CONFIG_WANXL_BUILD_FIRMWARE=n