This computer runs the Debian GNU/Linux operating system.