start_kernel.c

#include <stdio.h>
#include <stdbool.h>
#include "init.h"
#include "x86.h"

int start_kernel(void)
{
	printf("Calling start_kernel()...\n");

	setup_arch();

	return late_init();
}