microkernel targeted at gdb (ppc-sim) written in c