USPi - A bare metal USB driver written in C for Raspberrypi: https://www.raspberrypi.org/forums/viewtopic.php?f=72&t=92579&hilit=bare+metal