Add the 'current_kthread' helper
[akaros.git] / kern / include / env.h
index 712b9d5..30a5ac0 100644 (file)
@@ -17,7 +17,6 @@
 #include <sys/queue.h>
 #include <atomic.h>
 #include <mm.h>
-#include <vfs.h>
 #include <schedule.h>
 #include <devalarm.h>
 #include <ns.h>