enabled ckrm memory controller
authorMarc Fiuczynski <mef@cs.princeton.edu>
Fri, 15 Oct 2004 20:51:06 +0000 (20:51 +0000)
committerMarc Fiuczynski <mef@cs.princeton.edu>
Fri, 15 Oct 2004 20:51:06 +0000 (20:51 +0000)
configs/kernel-2.6.8-i686-planetlab-desktop.config

index b368755..9426fb0 100644 (file)
@@ -31,7 +31,8 @@ CONFIG_CKRM_TYPE_TASKCLASS=y
 CONFIG_CKRM_RES_NUMTASKS=y
 CONFIG_CKRM_CPU_SCHEDULE=y
 CONFIG_CKRM_RES_BLKIO=y
-# CONFIG_CKRM_RES_MEM is not set
+CONFIG_CKRM_RES_MEM=y
+# CONFIG_CKRM_MEM_LRUORDER_CHANGE is not set
 # CONFIG_CKRM_TYPE_SOCKETCLASS is not set
 CONFIG_CKRM_RBCE=y
 CONFIG_SYSCTL=y
@@ -40,6 +41,7 @@ CONFIG_LOG_BUF_SHIFT=17
 # CONFIG_HOTPLUG is not set
 CONFIG_IKCONFIG=y
 CONFIG_IKCONFIG_PROC=y
+CONFIG_OOM_PANIC=y
 # CONFIG_EMBEDDED is not set
 # CONFIG_DELAY_ACCT is not set
 CONFIG_KALLSYMS=y