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

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

	for (int i = 0; i < 8; i++) {
		printk("Line %d\n", i);
	}
}