SMS dit: Operating systems: internals and design principles