Raspberry Pi releases free PIXEL OS, designed to run on PCs old and new