Nucleus

#ifndef MEMORY_PAGING_H
#define MEMORY_PAGING_H

#include <stdint.h>
#include <nucleus/cpu.h>
#include <nucleus/memory.h>

extern page_t zeroFrame;

void early_page_fault_handler(struct InterruptFrame *frame, uint32_t err);

#endif