#include <stdint.h>

#include <stdio.h>

#include <kernel/paging.h>

//extern uint32_t endkernel; // found in link.ld