This repository contains the driver for the DWC-OTG USB host controller as used on the Raspberry Pi. The code within this repository originates from the rpi-3.10.y branch of the official version of the Linux kernel for the Raspberry Pi: http://github.com/raspberrypi/linux/commits/rpi-3.10.y The master branch corresponds to the upstream version. Genode-specific modifications can be found at branches named "r<number>". The LICENSE file contains the information as found in the file headers.