They're using Debian on the laptop so there is no "second" operating system.