Kstdint removed

kernel/arch/amd64/idt.c

@@ -1,4 +1,4 @@
-#include "kstdint.h"
+#include <stdint.h>
 
 // From https://wiki.osdev.org/Interrupt_Descriptor_Table#Structure_on_x86-64
 struct idt_64 {

kernel/arch/amd64/paging.c

@@ -1,4 +1,4 @@
-#include "kstdint.h"
+#include <stdint.h>
 
 uint64_t paging_main[3][512] __attribute__((aligned(4096))) = { 0 };
 

kernel/arch/amd64/serial.c

@@ -1,5 +1,5 @@
 #include "kasm.h"
-#include "kstdint.h"
+#include <stdint.h>
 
 void serial_write_byte(uint8_t byte) {
 	// Wait until the transmit holding register is empty

kernel/cpio.c

@@ -1,4 +1,4 @@
-#include "kstdint.h"
+#include <stdint.h>
 
 // We need memory manager and kernel lib first
 #if 0

kernel/include/kasm.h

@@ -1,7 +1,7 @@
 #ifndef __K_ASM
 #define __K_ASM
 
-#include "kstdint.h"
+#include <stdint.h>
 
 #if defined(__x86_64__)
 static inline void outb(uint16_t port, uint8_t val) {

kernel/include/khal.h

@@ -2,7 +2,7 @@
 #define __K_HAL
 
 #include "kasm.h"
-#include "kstdint.h"
+#include <stdint.h>
 
 #if defined(__x86_64__)
 

kernel/kernel.c

@@ -1,5 +1,5 @@
 #include "khal.h"
-#include "kstdint.h"
+#include <stdint.h>
 #include "kstring.h"
 #include "sys/panic.h"
 

kernel/klibc/printf.c

@@ -1,5 +1,5 @@
 #include "khal.h"
-#include "kstdint.h"
+#include <stdint.h>
 #include <stdarg.h>
 
 static char *itoa(uint64_t value, char *buf, uint8_t base) {

kernel/multiboot2.c

@@ -1,5 +1,5 @@
 #include "khal.h"
-#include "kstdint.h"
+#include <stdint.h>
 #include "kstdlib.h"
 #include <3rd/multiboot2.h>