An operating system (kernel)