Still annotating the kernel
[akaros.git] / kern / src / smp.c
index 62573ac..c1cdc0e 100644 (file)
@@ -4,10 +4,6 @@
  * See LICENSE for details.
  */
 
-#ifdef __DEPUTY__
-#pragma nodeputy
-#endif
-
 #include <arch/arch.h>
 #include <atomic.h>
 #include <smp.h>