[PATCH 5/8] [arm64] config: enable multi-core scheduler support by default

[Ricardo Salveti <ricardo.salveti@linaro.org>]

Also available by default on x86.

Signed-off-by: Ricardo Salveti <ricardo.salveti@linaro.org>
---
 debian/config/arm64/config | 1 +
 1 file changed, 1 insertion(+)

diff --git a/debian/config/arm64/config b/debian/config/arm64/config
index 65ff9fd..eeca3fe 100644
--- a/debian/config/arm64/config
+++ b/debian/config/arm64/config
@@ -6,6 +6,7 @@ CONFIG_PCI=y
 # CONFIG_ARM64_ERRATUM_843419 is not set
 CONFIG_XEN=y
 CONFIG_COMPAT=y
+CONFIG_SCHED_MC=y
 
 ##
 ## file: arch/arm64/crypto/Kconfig
-- 
2.5.0