a microkernel for study purposes