scaffold kernel from parts of wkern x86

1 files changed, 8 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;