UART as MMIO device

src/main.c

@@ -3,6 +3,7 @@
 #include "bootloader/bootloader.h"
 #include "cpu/rv32cpu.h"
 #include "gdbstub/gdbstub.h"
+#include "devices/uart/uart.h"
 
 char* CURRENT_NAME;
 
@@ -14,6 +15,9 @@ int main(int argc, char** argv)
 	// Initialize the memory
 	mem_init();
 
+	// Initialize UART (memory-mapped)
+	uart_init();
+
 	// Bootload the file passed as argument
 	uint32_t entry_point = bootload(file_path);