1 files changed, 9 insertions, 3 deletions
diff --git a/website-kernel/arch/kernel.c b/website-kernel/arch/kernel.c
index 28c94d3..fe771ec 100644
--- a/website-kernel/arch/kernel.c
+++ b/website-kernel/arch/kernel.c
@@ -1,9 +1,15 @@
 #include <int.h>
 #include <log.h>
+#include <sys.h>
 
 #define SERIAL_PORT 0x70000000
 
-void kernel_main(size_t hart) {
-    (void)hart;
-    printk("wkern version %s (Compiler %s, Linker %s) on %s\n", VERSION, COMPILER_NAME, LINKER_NAME, ARCH_NAME);
+void serial_write(char value) {
+    *(char *)SERIAL_PORT = value;
+}
+
+void kernel_main() {
+    register_console_callback(serial_write);
+
+    printk("webkernel version %s (Compiler %s, Linker %s) on %s\n", VERSION, COMPILER_NAME, LINKER_NAME, ARCH_NAME);
 }