#include "palloc.h" uint32_t palloc_last = 0x200000; void palloc_init() { // TODO: Initialize bitmap from memory map. } uint32_t palloc() { return palloc_last += 0x1000; } void pfree(uint32_t addr) { }