Operating systems, Internal & Design Principles