#include <stdint.h>

void kernel_init(uint64_t arg)
{
	uint8_t *vga = (uint8_t *)0xb8000;
	*vga = 'A';
	*(vga + 1) = 0x0F;
}