1 2 3 4 5
#include "paging.h" #include <stddef.h> #include <stdint.h> extern uint32_t endkernel; // TODO: