Which of the following is a popular operating system for personal computers?