Kernel: root_dev should be uint16_t

diff --git a/Kernel/include/kdata.h b/Kernel/include/kdata.h
index a8c8a60..8a861b7 100644 (file)
--- a/Kernel/include/kdata.h
+++ b/Kernel/include/kdata.h
@@ -17,7 +17,7 @@ extern uint16_t nproc;           /* Current number of processes */
 extern uint16_t nready;           /* Number of ready processes */
 
 extern inoptr root;        /* Address of root dir in inode table */
-extern uint8_t root_dev;   /* Device number of root filesystem. */
+extern uint16_t root_dev;  /* Device number of root filesystem. */
 
 extern struct blkbuf bufpool[NBUFS];
 extern struct p_tab ptab[PTABSIZE];

diff --git a/Kernel/kdata.c b/Kernel/kdata.c
index 5b5ae50..3621f70 100644 (file)
--- a/Kernel/kdata.c
+++ b/Kernel/kdata.c
@@ -8,7 +8,7 @@ char bootline[BOOTLINE_LEN];
 uint16_t ramsize, procmem, maxproc, nproc, nready;
 uint16_t runticks;
 bool inint;
-uint8_t root_dev = DEFAULT_ROOT;
+uint16_t root_dev = DEFAULT_ROOT;
 uint8_t ticks_this_dsecond;
 inoptr root;
 uint16_t waitno;