SMS dit: An introduction to operating systems