Extending Minix OS for fun