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)

kern/libkern/stdbool.h

@@ -1,8 +0,0 @@
-#ifndef _STDBOOL_H
-#define _STDBOOL_H
-
-/*TODO*/
-typedef char bool;
-enum { false = 0, true = 1 };
-
-#endif

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;