Microkernel Structure In C