From 9660366219c28fc827c24ce7b428ad7e2534ead0 Mon Sep 17 00:00:00 2001
From: Nathan Lee <me@nwlee.tech>
Date: Sat, 26 Sep 2026 16:22:04 -0500
Subject: scaffold rest of website

---
 website-kernel/arch/kernel.c | 12 +++++++++---
 1 file changed, 9 insertions(+), 3 deletions(-)

(limited to 'website-kernel/arch/kernel.c')

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);
 }
-- 
cgit v1.2.3