src/sys/os/kern_init.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14

#include <sys/cdefs.h>
#include <sys/cpuvar.h>

struct pcore g_bsp;

/*
 * Kernel entrypoint
 */
__dead void
main(void)
{
    cpu_conf(&g_bsp);
    for (;;);
}