In the previous three posts about exploring my Raspberry Pi, the operating system has always been Linux; first looking at Raspbian , the Debian GNU/Linux spin for the Pi, then Arch Linux ARM and Pidora , and then Raspbmc and OpenELEC , two Linux-based XBMC Media Center versions. Source: Tech