3 ms·They're using Debian on the laptop so there is no "second" operating system.by aarongolliver 8y agoThey're using Debian on the laptop so there is no "second" operating system.