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