init.c

#include <metodo/metodo.h>

#include <buildid.h>

void InInitKernel(void)
{
	char *str = "Metodo " __DATE__ " " __TIME__ " " ARCH " " SCM_REV "\n";

	HalInit();

	HalDisplayString(str);
	CoShutdown(SD_OFF);
	int i = 1/0;
	// It should never get here
	asm volatile ("int $0");
}