Ch7: What is an operating system?