Raspberry Pi: The inside story of the $35 computer