mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-03 12:34:12 +00:00
421d2bed40
* The device XML information dataspace is only provided, when the client's policy states `info="yes"` * The device XM information gets changed to include the physical resource names (I/O memory and IRQ addresses) instead of virtual ids and page offset Fix #4077 |
||
|---|---|---|
| .. | ||
| depot_download | ||
| download_coreplus | ||
| drivers_managed-imx8q_evk | ||
| drivers_managed-pc | ||
| drivers_nic-pc | ||
| drivers_nic-rpi | ||
| fonts_fs | ||
| genode_bg | ||
| motif_wm | ||
| sticks_blue_backdrop | ||
| terminal | ||
| themed_wm | ||
| window_layouter | ||
| wm | ||