diff --git a/Makefile b/Makefile
index 1496c7f..8621d11 100644
--- a/Makefile
+++ b/Makefile
@@ -17,10 +17,7 @@ CFLAGS = -Wall -Werror -O
 CFLAGS += -Wno-unused-result
 CFLAGS += -mcmodel=medany
 CFLAGS += -march=rv64gc -mabi=lp64
-CFLAGS += -ffreestanding
-CFLAGS += -fno-common
-CFLAGS += -nostdlib
-CFLAGS += -mno-relax
+CFLAGS += -ffreestanding -fno-common -nostdlib -mno-relax
 
 CFLAGS += -fno-stack-protector # Prevents code that needs libc / runtime support
 CFLAGS += -MD # Generate header dependency files (.d)
diff --git a/kern/libkern/stdbool.h b/kern/libkern/stdbool.h
deleted file mode 100644
index 1bab927..0000000
--- a/kern/libkern/stdbool.h
+++ /dev/null
@@ -1,8 +0,0 @@
-#ifndef _STDBOOL_H
-#define _STDBOOL_H
-
-/*TODO*/
-typedef char bool;
-enum { false = 0, true = 1 };
-
-#endif
diff --git a/kern/libkern/stdint.h b/kern/libkern/stdint.h
index 0ce4c00..69e74d4 100644
--- a/kern/libkern/stdint.h
+++ b/kern/libkern/stdint.h
@@ -12,3 +12,5 @@ typedef unsigned long  uint64_t;
 typedef uint64_t       size_t;
 
 typedef uint64_t uintptr_t;
+
+typedef u8 bool;