start_kernel.c

#include <stdio.h>
#include <stdbool.h>
#include <asm/x86_init_fn.h>
#include <asm/x86.h>

void start_kernel(void)
{
	pr_info("Calling start_kernel()...\n");

	setup_arch();
	late_init();
}