Get things to build Ivy again. Turn off error db logging because it is slow.
[akaros.git] / kern / src / resource.c
index 6ccbdaf..29238cd 100644 (file)
@@ -6,6 +6,10 @@
  * Kernel resource management.
  */
 
+#ifdef __IVY__
+#pragma nosharc
+#endif
+
 #include <resource.h>
 #include <process.h>
 #include <stdio.h>