Initial version for a DB that maps device drivers to binaries.
Initial version for a DB that maps device drivers to binaries.

modeswitch/barrelfish,modeswitch/barrelfish,modeswitch/barrelfish,modeswitch/barrelfish,modeswitch/barrelfish