Feat: lab 4

bootloader/main.c

@@ -1,5 +1,4 @@
 #include <stddef.h>
-#include <shell.h>
 #include <uart.h>
 
 // extern uint64_t __kernel;
@@ -22,7 +21,7 @@ void main(void *dtb)
     kernel_header.buf[i] = uart_getb();
 
   uart_puts("received kernel size: ");
-  uart_int(kernel_header.size);
+  uart_hex(kernel_header.size);
   uart_puts(ENDL);
 
   uart_puts("loaded addr: ");