remove VSERVER_ACB_SCHED
authorMarc Fiuczynski <mef@cs.princeton.edu>
Fri, 29 Jun 2007 04:34:08 +0000 (04:34 +0000)
committerMarc Fiuczynski <mef@cs.princeton.edu>
Fri, 29 Jun 2007 04:34:08 +0000 (04:34 +0000)
configs/kernel-2.6.20-i586-planetlab.config
configs/kernel-2.6.20-i686-planetlab.config
configs/kernel-2.6.20-i686-smp-planetlab.config
configs/kernel-2.6.20-i686-uml-planetlab.config
configs/kernel-2.6.20-i686-xenU-planetlab.config
configs/kernel-2.6.20-x86_64-planetlab.config
configs/kernel-2.6.20-x86_64-smp-planetlab.config

index 462b12f..73afe18 100644 (file)
@@ -1777,7 +1777,6 @@ CONFIG_VSERVER_COWBL=y
 CONFIG_VSERVER_HARDCPU=y
 CONFIG_VSERVER_IDLETIME=y
 # CONFIG_VSERVER_IDLELIMIT is not set
-CONFIG_VSERVER_ACB_SCHED=y
 # CONFIG_TAGGING_NONE is not set
 # CONFIG_TAGGING_UID16 is not set
 # CONFIG_TAGGING_GID16 is not set
index 58a9983..4704c0c 100644 (file)
@@ -1199,9 +1199,9 @@ CONFIG_UNIX98_PTYS=y
 # CONFIG_WATCHDOG is not set
 CONFIG_HW_RANDOM=y
 CONFIG_HW_RANDOM_INTEL=y
-CONFIG_HW_RANDOM_AMD=y
-CONFIG_HW_RANDOM_GEODE=y
-CONFIG_HW_RANDOM_VIA=y
+CONFIG_HW_RANDOM_AMD=m
+CONFIG_HW_RANDOM_GEODE=m
+CONFIG_HW_RANDOM_VIA=m
 # CONFIG_NVRAM is not set
 # CONFIG_RTC is not set
 # CONFIG_GEN_RTC is not set
@@ -1819,7 +1819,6 @@ CONFIG_VSERVER_COWBL=y
 CONFIG_VSERVER_HARDCPU=y
 CONFIG_VSERVER_IDLETIME=y
 # CONFIG_VSERVER_IDLELIMIT is not set
-CONFIG_VSERVER_ACB_SCHED=y
 # CONFIG_TAGGING_NONE is not set
 # CONFIG_TAGGING_UID16 is not set
 # CONFIG_TAGGING_GID16 is not set
index c49ed38..3f2f523 100644 (file)
@@ -1790,7 +1790,6 @@ CONFIG_VSERVER_COWBL=y
 CONFIG_VSERVER_HARDCPU=y
 CONFIG_VSERVER_IDLETIME=y
 # CONFIG_VSERVER_IDLELIMIT is not set
-CONFIG_VSERVER_ACB_SCHED=y
 # CONFIG_TAGGING_NONE is not set
 # CONFIG_TAGGING_UID16 is not set
 # CONFIG_TAGGING_GID16 is not set
index 6466082..64237fb 100644 (file)
@@ -638,7 +638,6 @@ CONFIG_VSERVER_COWBL=y
 CONFIG_VSERVER_HARDCPU=y
 CONFIG_VSERVER_IDLETIME=y
 # CONFIG_VSERVER_IDLELIMIT is not set
-CONFIG_VSERVER_ACB_SCHED=y
 # CONFIG_TAGGING_NONE is not set
 # CONFIG_TAGGING_UID16 is not set
 # CONFIG_TAGGING_GID16 is not set
index dd148be..5976be7 100644 (file)
@@ -1117,7 +1117,6 @@ CONFIG_VSERVER_COWBL=y
 CONFIG_VSERVER_HARDCPU=y
 CONFIG_VSERVER_IDLETIME=y
 # CONFIG_VSERVER_IDLELIMIT is not set
-CONFIG_VSERVER_ACB_SCHED=y
 # CONFIG_TAGGING_NONE is not set
 # CONFIG_TAGGING_UID16 is not set
 # CONFIG_TAGGING_GID16 is not set
index cbcc608..dae34be 100644 (file)
@@ -1709,7 +1709,6 @@ CONFIG_VSERVER_COWBL=y
 CONFIG_VSERVER_HARDCPU=y
 CONFIG_VSERVER_IDLETIME=y
 # CONFIG_VSERVER_IDLELIMIT is not set
-CONFIG_VSERVER_ACB_SCHED=y
 # CONFIG_TAGGING_NONE is not set
 # CONFIG_TAGGING_UID16 is not set
 # CONFIG_TAGGING_GID16 is not set
index d103253..8134779 100644 (file)
@@ -1720,7 +1720,6 @@ CONFIG_VSERVER_COWBL=y
 CONFIG_VSERVER_HARDCPU=y
 CONFIG_VSERVER_IDLETIME=y
 # CONFIG_VSERVER_IDLELIMIT is not set
-CONFIG_VSERVER_ACB_SCHED=y
 # CONFIG_TAGGING_NONE is not set
 # CONFIG_TAGGING_UID16 is not set
 # CONFIG_TAGGING_GID16 is not set