1 files changed, 0 insertions, 3 deletions
diff --git a/kernel/types.h b/kernel/types.h
deleted file mode 100644
index 30abb43..0000000
--- a/kernel/types.h
+++ /dev/null
@@ -1,3 +0,0 @@
-#include <stdint.h>
-
-typedef uint32_t physical_address;