#include <stdint.h>
#include <socks/libc/stdio.h>
#include <socks/init.h>
#include <socks/console.h>
#include <socks/machine/init.h>

void kernel_init(uintptr_t arg)
{
	console_init();

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