mm stuff

kernel/memory/mm.h

@@ -0,0 +1,16 @@
+#ifndef KMM_H
+#define KMM_H
+
+#include <stdint.h>
+
+typedef struct __attribute__((packed)) {
+    uint32_t addr;
+} mem_page_t;
+
+void init_mm(void* mmap_base, uint32_t mmap_limit);
+uint32_t total_free_memory();
+
+void* alloc_page();
+void free_page(void* addr);
+
+#endif