2 files changed, 18 insertions, 1 deletions
diff --git a/website-kernel/include/int.h b/website-kernel/include/int.h
index 2a378e7..754b43e 100644
--- a/website-kernel/include/int.h
+++ b/website-kernel/include/int.h
@@ -1,7 +1,8 @@
 #pragma once
 #define NULL (void*)0
 
-typedef __UINTPTR_TYPE__ size_t;
+typedef __SIZE_TYPE__ size_t;
+typedef __UINTPTR_TYPE__ uintptr_t;
 typedef __UINT8_TYPE__ uint8_t;
 typedef __UINT16_TYPE__ uint16_t;
 typedef __UINT32_TYPE__ uint32_t;
diff --git a/website-kernel/include/sys.h b/website-kernel/include/sys.h
new file mode 100644
index 0000000..1aa4a03
--- /dev/null
+++ b/website-kernel/include/sys.h
@@ -0,0 +1,16 @@
+#pragma once
+#include <int.h>
+
+typedef uint8_t device_type_t;
+
+struct boot_args {
+    char *cmd_line;
+    struct device *devices;
+};
+
+struct device {
+    device_type_t device_type;
+    uintptr_t start;
+    size_t size;
+    struct device *next;
+};