#
# Automatically generated make config: don't edit
-# Linux kernel version: 2.6.10-1.14_FC2.1.planetlab.2005.03.31
-# Tue Apr 12 15:59:21 2005
+# Linux kernel version: 2.6.10-1.14_FC2.1.planetlab.2005.04.14
+# Mon Apr 18 17:24:00 2005
#
CONFIG_X86=y
CONFIG_MMU=y
CONFIG_CKRM_RES_NULL=m
CONFIG_CKRM_RES_MEM=y
# CONFIG_CKRM_TYPE_SOCKETCLASS is not set
-CONFIG_CKRM_RES_NUMTASKS=y
-# CONFIG_CKRM_RES_NUMTASKS_FORKRATE is not set
+# CONFIG_CKRM_RES_NUMTASKS is not set
CONFIG_CKRM_CPU_SCHEDULE=y
# CONFIG_CKRM_RES_BLKIO is not set
CONFIG_CKRM_CPU_SCHEDULE_AT_BOOT=y