A look at operating systems for the Raspberry Pi