#include #include #include #include void main(void) { cpu_init(); memory_init(NULL); printf("halting...\n"); while(1); }