A toy OS for learning something about kernel development