I was the build engineer that assembled the OS for these things between 2008-2010. It was a Debian based Linux distro with a custom built desktop and other custom built software, and it my memory serves my right, it was using the IceWM window manager.