scaffold kernel from parts of wkern x86

2 files changed, 19 insertions, 0 deletions

diff --git a/website-kernel/include/int.h b/website-kernel/include/int.h
new file mode 100644
index 0000000..2a378e7
--- /dev/null
+++ b/website-kernel/include/int.h
@@ -0,0 +1,8 @@
+#pragma once
+#define NULL (void*)0
+
+typedef __UINTPTR_TYPE__ size_t;
+typedef __UINT8_TYPE__ uint8_t;
+typedef __UINT16_TYPE__ uint16_t;
+typedef __UINT32_TYPE__ uint32_t;
+typedef __UINT64_TYPE__ uint64_t;
diff --git a/website-kernel/include/log.h b/website-kernel/include/log.h
new file mode 100644
index 0000000..4312baf
--- /dev/null
+++ b/website-kernel/include/log.h
@@ -0,0 +1,11 @@
+#pragma once
+
+#define RINGBUF_SIZE 64 * 1024
+
+typedef void (*console_callback_t)(char);
+
+void vprintk(const char *message, __builtin_va_list args);
+void printk(const char *message, ...);
+
+void register_console_callback(console_callback_t callback);
+