configs: vexpress: Extra options needed for TC2

Signed-off-by: Jon Medhurst <tixy@linaro.org>

diff --git a/linaro/configs/vexpress.conf b/linaro/configs/vexpress.conf
index 6576492b1534b201f7aafae795a49bec03f97282..a75400acf3cd41f0d77d41c8975a31f71657ec7c 100644 (file)
--- a/linaro/configs/vexpress.conf
+++ b/linaro/configs/vexpress.conf
@@ -1,6 +1,9 @@
 CONFIG_ARCH_VEXPRESS=y
 CONFIG_ARCH_VEXPRESS_CA9X4=y
 CONFIG_HAVE_ARM_ARCH_TIMER=y
+CONFIG_NR_CPUS=8
+CONFIG_HIGHMEM=y
+CONFIG_HIGHPTE=y
 CONFIG_CMDLINE="console=ttyAMA0,38400n8 root=/dev/mmcblk0p2 rootwait mmci.fmax=4000000"
 CONFIG_VFP=y
 CONFIG_NEON=y