Annotated i386/smp_boot.c init.c manager.c monitor.c and multiboot.c
[akaros.git] / kern / src / monitor.c
index 9648a37..aece729 100644 (file)
@@ -1,10 +1,6 @@
 // Simple command-line kernel monitor useful for
 // controlling the kernel and exploring the system interactively.
 
-#ifdef __DEPUTY__
-#pragma nodeputy
-#endif
-
 #include <arch/arch.h>
 #include <stab.h>
 #include <smp.h>