Serialize printing during panic()
[akaros.git] / kern / src / fdtap.c
index ca7812c..540fc4d 100644 (file)
@@ -6,7 +6,6 @@
  * FD's underlying device file/qid. */
 
 #include <fdtap.h>
-#include <vfs.h>
 #include <event.h>
 #include <kmalloc.h>
 #include <syscall.h>