Which of the following is a type of software that manages computer hardware?