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

static ml_cpu_block g_bootstrap_cpu = {};

void bootstrap_cpu_init(void)
{
	ml_cpu_block_init(&g_bootstrap_cpu);
	ml_cpu_block_use(&g_bootstrap_cpu);
}

void kernel_init(uintptr_t arg)
{
	bootstrap_cpu_init();
	console_init();

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