Raspberry Pi makers release own-brand OS

The makers of the Raspberry Pi computer have created a version of its graphical front end that can run on ordinary desktop computers.