USB driver library, designed to run in user level on seL4.
See LICENSE_BSD2.txt for license details.
LICENSE_BSD2.txt