scaffold kernel from parts of wkern x86

1 files changed, 9 insertions, 0 deletions

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);
+}