Serial Wire Debug programmer for the Raspberry Pi