A bare metal USB driver for Raspberry Pi written in C