// OMG here we are. I'm cooked.

/*
pmm - Physical Memory Manager
will manage 4kb pages physically
it will probably need to get some info from Limine,
to see which pages are used by kernel/bootloader/mmio/fb etc.
*/

#include "paging.h"

/*
First we'll have to discover the physical memory layout,
and for that we can use a Limine request.
*/

uint64_t pages_bitmap[];