add files

kernel/memory/pageframealloc.h

@@ -0,0 +1,11 @@
+#include <cstdint>
+
+#include "../memory/pageframe.h"
+
+namespace PageFrameAllocator {
+    void init ();
+    void stats ();
+    PageFrame* alloc(bool kernel);
+    void free (PageFrame *frame);
+    void free (uintptr_t addr);
+}