Some tools for the Raspberry Pi