Removes option for a dedicated monitor core
authorBarret Rhoden <brho@cs.berkeley.edu>
Tue, 1 May 2012 18:34:39 +0000 (11:34 -0700)
committerBarret Rhoden <brho@cs.berkeley.edu>
Wed, 5 Sep 2012 21:43:56 +0000 (14:43 -0700)
This was an old option that only made sense when we couldn't get to the
monitor by interrupt.

Makeconfig
Makelocal.template
kern/src/schedule.c

index 722382e..909ce94 100644 (file)
@@ -12,7 +12,6 @@ CONFIG_ARSC_SERVER:=               -D__CONFIG_ARSC_SERVER__
 # KERN_CFLAGS += $(CONFIG_KFS) $(CONFIG_BSD_ON_CORE0)
 CONFIG_KFS:=                       -D__CONFIG_KFS__
 CONFIG_EXT2FS:=                    -D__CONFIG_EXT2FS__
-CONFIG_DEDICATED_MONITOR:=         -D__CONFIG_DEDICATED_MONITOR__
 CONFIG_SINGLE_CORE:=               -D__CONFIG_SINGLE_CORE__
 CONFIG_NETWORKING:=                -D__CONFIG_NETWORKING__
 CONFIG_SERIAL_IO:=                 -D__CONFIG_SERIAL_IO__
index c44725d..9113bf9 100644 (file)
@@ -5,7 +5,6 @@
 # Kernel configuration parameters
 #KERN_CFLAGS += $(CONFIG_KFS)
 #KERN_CFLAGS += $(CONFIG_EXT2FS)
-#KERN_CFLAGS += $(CONFIG_DEDICATED_MONITOR)
 #KERN_CFLAGS += $(CONFIG_SINGLE_CORE)
 #KERN_CFLAGS += $(CONFIG_NETWORKING)
 #KERN_CFLAGS += $(CONFIG_SERIAL_IO)
index 14bc8de..248f08f 100644 (file)
@@ -114,14 +114,6 @@ void schedule_init(void)
                idlecoremap[i] = (i * 2) + 1;
 #else
        // __CONFIG_DISABLE_SMT__
-       #ifdef __CONFIG_APPSERVER__
-       #ifdef __CONFIG_DEDICATED_MONITOR__
-       num_mgmtcores++; // Next core dedicated to running the kernel monitor
-       assert(num_cpus >= num_mgmtcores);
-       // Need to subtract 1 from the num_mgmtcores # to get the cores index
-       send_kernel_message(num_mgmtcores-1, (amr_t)monitor, 0,0,0, KMSG_ROUTINE);
-       #endif
-       #endif
  #ifdef __CONFIG_ARSC_SERVER__
        // Dedicate one core (core 2) to sysserver, might be able to share with NIC
        num_mgmtcores++;