Zaslat SMS: Operating systems: internals and design principles