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/include/int.h | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 website-kernel/include/int.h

(limited to 'website-kernel/include/int.h')

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