Since its release in 2012, the Raspberry Pi's Raspbian operating system has had a few revisions, but the desktop environment had remained largely the same. Pixel changes that.
