My little playground for an microkernel OS