Foundations of Operating Systems: Theory and Practice