FDIF functioning as a user level driver.
[barrelfish] / usr / drivers /
drwxr-xr-x   ..
drwxr-xr-x - e1000
drwxr-xr-x - e10k
drwxr-xr-x - eMAC
drwxr-xr-x - hpet
drwxr-xr-x - lpc_kbd
drwxr-xr-x - lpc_timer
drwxr-xr-x - omap44xx
drwxr-xr-x - rtc
drwxr-xr-x - rtl8029
drwxr-xr-x - serial
drwxr-xr-x - sif
drwxr-xr-x - tulip
drwxr-xr-x - uhci
drwxr-xr-x - usb
drwxr-xr-x - vbe