From 548905a86473101325540446f35ffda8acd0c3bb Mon Sep 17 00:00:00 2001
From: Nathan Lee <me@nwlee.tech>
Date: Fri, 25 Sep 2026 23:24:31 -0500
Subject: scaffold kernel from parts of wkern x86

---
 website-kernel/arch/kernel.c | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 website-kernel/arch/kernel.c

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

diff --git a/website-kernel/arch/kernel.c b/website-kernel/arch/kernel.c
new file mode 100644
index 0000000..28c94d3
--- /dev/null
+++ b/website-kernel/arch/kernel.c
@@ -0,0 +1,9 @@
+#include <int.h>
+#include <log.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);
+}
-- 
cgit v1.2.3