genode/repos/gems/recipes/pkg/drivers_managed-pc
2023-06-16 11:24:26 +02:00
..
archives pci_decode: report devices from ACPI info 2022-11-29 12:29:57 +01:00
hash depot: update recipe hashes 2023-06-16 11:24:26 +02:00
README gems: driver-manager subsystem for PC platforms 2017-10-05 17:40:00 +02:00

               Device-driver subsystem that starts drivers for
               framebuffer, input, and block devices on demand