6bfd4f4276
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. |
||
|---|---|---|
| .. | ||
| drivers_managed-pc | ||
| genode_bg | ||
| themed_wm | ||
| wm | ||