1 files changed, 0 insertions, 32 deletions
diff --git a/sys/types.h b/sys/types.h
deleted file mode 100644
index 0a519c5..0000000
--- a/sys/types.h
+++ /dev/null
@@ -1,32 +0,0 @@
-#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