Two volunteers built the Raspberry Pi's operating system (2013)