#include <mem/vmm.h>
#include <platform/generic/vmm/mapping_table.h>

mapping_entry_t extern_mapping_table[] = {
    { .paddr = 0x00000000, .vaddr = 0x00000000, .flags = MMU_FLAG_PERM_READ | MMU_FLAG_PERM_WRITE | MMU_FLAG_PERM_EXEC, .pages = 1024, .last = 1 },
};