1 files changed, 32 insertions, 0 deletions
diff --git a/sys/types.h b/sys/types.h
new file mode 100644
index 0000000..0a519c5
--- /dev/null
+++ b/sys/types.h
@@ -0,0 +1,32 @@
+#ifndef _SYS_TYPES_H
+#define _SYS_TYPES_H 1
+
+#include <stdint.h>
+#include <stddef.h>
+#include <stdbool.h>
+
+typedef intmax_t tid_t;
+
+typedef struct {
+    intmax_t tid;
+    uintmax_t addr;
+} linear_address_t;
+
+typedef uintptr_t physptr_t;
+
+typedef struct page_flags
+{
+    bool present;
+    bool writeable;
+    bool useraccess;
+    bool executable;
+} page_flags_t;
+
+typedef struct page_mapping
+{
+    physptr_t phys;
+    page_flags_t pf;
+} page_mapping_t;
+
+
+#endif