CKRM memory controller is not stable for long-term uptimes. Disabling! :(
authorMarc Fiuczynski <mef@cs.princeton.edu>
Mon, 16 May 2005 15:46:06 +0000 (15:46 +0000)
committerMarc Fiuczynski <mef@cs.princeton.edu>
Mon, 16 May 2005 15:46:06 +0000 (15:46 +0000)
configs/kernel-2.6.10-i686-planetlab.config

index 3d62751..bd63671 100644 (file)
@@ -1,7 +1,7 @@
 #
 # Automatically generated make config: don't edit
 #
 # Automatically generated make config: don't edit
-# Linux kernel version: 2.6.10-1.14_FC2.1.planetlab
-# Wed Apr 20 16:55:11 2005
+# Linux kernel version: 2.6.10-1.14_FC2.1.planetlab.2005.04.14
+# Sat May  7 01:45:01 2005
 #
 CONFIG_X86=y
 CONFIG_MMU=y
 #
 CONFIG_X86=y
 CONFIG_MMU=y
@@ -33,7 +33,7 @@ CONFIG_CKRM=y
 CONFIG_RCFS_FS=y
 CONFIG_CKRM_TYPE_TASKCLASS=y
 CONFIG_CKRM_RES_NULL=m
 CONFIG_RCFS_FS=y
 CONFIG_CKRM_TYPE_TASKCLASS=y
 CONFIG_CKRM_RES_NULL=m
-CONFIG_CKRM_RES_MEM=y
+# CONFIG_CKRM_RES_MEM is not set
 # CONFIG_CKRM_TYPE_SOCKETCLASS is not set
 CONFIG_CKRM_RES_NUMTASKS=y
 # CONFIG_CKRM_RES_NUMTASKS_FORKRATE is not set
 # CONFIG_CKRM_TYPE_SOCKETCLASS is not set
 CONFIG_CKRM_RES_NUMTASKS=y
 # CONFIG_CKRM_RES_NUMTASKS_FORKRATE is not set