An USB driver for Raspberry Pi written in C