Finally Fix paging bug! Hooray!

1 files changed, 1 insertions, 6 deletions

diff --git a/kernel/x86.c b/kernel/x86.c
index c1113bf..5e44424 100644
--- a/kernel/x86.c
+++ b/kernel/x86.c
@@ -88,11 +88,6 @@ void x86_paging_enable()
 {
     uint32_t cr0=x86_get_cr0();
     cr0 |= 0x80000000; // enable paging 
-
-//    cr0 |= 0x40000000; // cahce disable
-//    cr0 |= 0x20000000; // not-write-through
-//    cr0 |= 0x10000; // write to read-only pages
-
     asm volatile("mov %0, %%cr0":: "b"(cr0));
 }
 
@@ -107,7 +102,7 @@ void x86_paging_disable()
 
 void x86_flush_tlb(uint32_t addr)
 {
-	asm volatile("invlpg (%0)" ::"r" (addr) : "memory");
+    asm volatile("invlpg (%0)" ::"r" (addr) : "memory");
 }