Shove the microkernel right into github