Teaching operating systems.pdf of Teaching operating systems: just enough abstraction