#include <stdint.h>
#include <socks/init.h>
#include <socks/printk.h>
#include <socks/machine/init.h>
#include <socks/machine/cpu.h>

extern unsigned long get_rflags(void);

void kernel_init(uintptr_t arg)
{
	ml_init(arg);

	printk("hello, world!");

	ml_halt_cpu();
}