Configuration tool for the Raspberry Pi