Alexy Gallardo Segura 7f1641e460 usb: use GPIO session for configuration ...

This fixes the issue of conflicting base-address attachment between USB
and GPIO.

Fixes #1732

2015-10-09 16:37:22 +02:00

..

drivers

Introduce 'spec' subdirectories to outline aspects

2015-09-16 13:58:50 +02:00

lib

usb: use GPIO session for configuration

2015-10-09 16:37:22 +02:00

server/usb_terminal

os: Move Ring_buffer to Genode namespace

2015-04-17 16:13:21 +02:00