From d4d487731ad760376999130fc2ad520c3dd6166c Mon Sep 17 00:00:00 2001
From: Frans Kaashoek <kaashoek@mit.edu>
Date: Tue, 18 Aug 2020 20:48:53 -0400
Subject: [PATCH] Use the major number defined in file.h.  The minor number is
 ignored; might as well use 0.

---
 user/init.c | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

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