Norman Feske 6bfd4f4276 gems: driver-manager subsystem for PC platforms ...

This is a drivers subsystem that starts the most fundamental
(framebuffer, input, block) device drivers dynamically, depending on the
runtime-detected devices. The discovered block devices are reported
as a "block_devices" report.

2017-10-05 17:40:00 +02:00

..

drivers_managed-pc

gems: driver-manager subsystem for PC platforms

2017-10-05 17:40:00 +02:00

genode_bg

Depot-archive recipes

2017-05-31 13:15:56 +02:00

themed_wm

depot: update recipe hashes

2017-05-31 16:18:01 +02:00

wm

depot: update recipe hashes

2017-05-31 16:18:01 +02:00