#include <memory.h>
#include <stdint.h>

void setupMemory() {
    reservePagesUntilPhysical(0x900); // address 0x900000, until the end of
                                      // where the kernel data was mapped
}