diff --git a/user/init.c b/user/init.c
index 13764ca..e0a5689 100644
--- a/user/init.c
+++ b/user/init.c
@@ -2,6 +2,10 @@
 
 #include "kernel/types.h"
 #include "kernel/stat.h"
+#include "kernel/spinlock.h"
+#include "kernel/sleeplock.h"
+#include "kernel/fs.h"
+#include "kernel/file.h"
 #include "user/user.h"
 #include "kernel/fcntl.h"
 
@@ -13,7 +17,7 @@ main(void)
   int pid, wpid;
 
   if(open("console", O_RDWR) < 0){
-    mknod("console", 1, 1);
+    mknod("console", CONSOLE, 0);
     open("console", O_RDWR);
   }
   dup(0);  // stdout