#include <stdint.h>

void kmain(uint32_t addr) {}