Workshop 1: getting started with the Raspberry Pi