1 files changed, 0 insertions, 34 deletions
diff --git a/kernel/x86.h b/kernel/x86.h
deleted file mode 100644
index b634722..0000000
--- a/kernel/x86.h
+++ /dev/null
@@ -1,34 +0,0 @@
-#ifndef FOOLOS_X86_H
-#define FOOLOS_X86_H
-
-#include <stdint.h>
-
-// http://wiki.osdev.org/Interrupt_Service_Routines
-
-// TODO : Real sleep()!
-
-void x86_outb(uint32_t port, uint8_t data);
-uint8_t x86_inb(uint32_t port);
-
-void x86_outw(uint32_t port, uint16_t data);
-uint16_t x86_inw(uint32_t port);
-
-void x86_outl(uint32_t port, uint32_t data);
-uint32_t x86_inl(uint32_t port);
-
-void x86_set_pdbr(uint32_t addr);
-void x86_paging_enable();
-void x86_flush_tlb(uint32_t addr);
-
-void x86_int_enable();
-void x86_int_disable();
-
-uint32_t x86_get_cr0();
-uint32_t x86_get_cr1();
-uint32_t x86_get_cr2();
-uint32_t x86_get_cr3();
-uint32_t x86_get_cr4();
-
-uint8_t x86_xchg(uint8_t *addr, uint8_t val);
-
-#endif