How two volunteers built the Raspberry Pi’s operating system