Annotated i386/smp_boot.c init.c manager.c monitor.c and multiboot.c
[akaros.git] / kern / src / manager.c
index 4764e84..7f88665 100644 (file)
@@ -4,10 +4,6 @@
  * See LICENSE for details.
  */
 
-#ifdef __DEPUTY__
-#pragma nodeputy
-#endif
-
 #include <arch/types.h>
 #include <smp.h>