Adding SharC annotations. Type checker off
[akaros.git] / kern / src / manager.c
index 23d9199..71570fc 100644 (file)
@@ -8,10 +8,6 @@
 #pragma nosharc
 #endif
 
-#ifdef __IVY__
-#pragma nodeputy
-#endif
-
 #include <ros/common.h>
 #include <smp.h>
 
@@ -33,7 +29,7 @@
  */
 void manager(void)
 {
-       static uint8_t progress = 0;
+       static uint8_t RACY progress = 0;
        struct proc *envs[256];
        struct proc *p ;