#include <stdint.h>

extern uint32_t endkernel; // found in link.ld