A bare metal USB driver for Raspberry Pi written in C - View it on GitHub