A small OS for learning