libusbdrivers

USB driver library, designed to run in user level on seL4.

See LICENSE_BSD2.txt for license details.