mango/arch/x86_64/init.c

#include <socks/init.h>
#include <socks/machine/cpu.h>
#include <arch/vgacon.h>

static ml_cpu_block g_bootstrap_cpu = {0};

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

int ml_init(uintptr_t arg)
{
	bootstrap_cpu_init();
	vgacon_init();

	print_kernel_banner();

	return 0;
}