Changes to support Andy's new CPU scheduler

[linux-2.6.git] / configs / kernel-2.6.12-i686-smp-planetlab.config

diff --git a/configs/kernel-2.6.12-i686-smp-planetlab.config b/configs/kernel-2.6.12-i686-smp-planetlab.config
index 737aeae..951cd20 100644 (file)
--- a/configs/kernel-2.6.12-i686-smp-planetlab.config
+++ b/configs/kernel-2.6.12-i686-smp-planetlab.config
@@ -1417,7 +1417,8 @@ CONFIG_VSERVER_LEGACY=y
 # CONFIG_VSERVER_NGNET is not set
 # CONFIG_VSERVER_PROC_SECURE is not set
 CONFIG_VSERVER_HARDCPU=y
-# CONFIG_VSERVER_HARDCPU_IDLE is not set
+CONFIG_VSERVER_HARDCPU_IDLE=y
+CONFIG_VSERVER_ACB_SCHED=y
 # CONFIG_INOXID_NONE is not set
 # CONFIG_INOXID_UID16 is not set
 # CONFIG_INOXID_GID16 is not set