small fixes

kernel/main.cc

@@ -95,7 +95,7 @@ extern "C" int main() {
         offset += 1+(appsize/4096);
     }
 
-    g.vault().scheduler.ready(new Thread(false, (void*)0x4001000, 2));
+    g.vault().scheduler.ready(new Thread(false, (void*)0x4001000, 1));
     //for(void* p=Multiboot::getModule(0)->getStartAddress(); p<Multiboot::getModule(0)->getEndAddress(); p=(void*)((uintptr_t)p+4096)){
     //    DBG << "module at: " << hex << p << endl;
     //    g.vault().scheduler.ready(new Thread(false, p));

kernel/syscall/skeleton.cc

@@ -279,7 +279,7 @@ namespace Syscall {
           uintptr_t frame = isMapped(i<<12, search_table);
           setMapping(i<<12, 0, search_table);
           PageFrameAllocator::free(frame);
-          invlpg(i);
+          invlpg(i<<12);
       }
       return 0; 
     }