free

kernel/memory/pageframealloc.cc

@@ -141,9 +141,10 @@ void* PageFrameAllocator::alloc(bool kernel){
 }
 
 void PageFrameAllocator::free(PageFrame* frame){
-    (void) frame;
+    frame->available = true;
+    //TODO ref counter etc...
 }
 
 void PageFrameAllocator::free(uintptr_t addr){
-    (void) addr;
+    free(&PageFrames[addr>>12]);
 }