genode/repos/dde_linux/run
Stefan Kalkowski 421d2bed40 platform driver: make device info XML optional
* 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
2021-05-05 11:31:16 +02:00
..
intel_fb.run Turn framebuffer drivers into capture clients 2020-07-13 11:33:15 +02:00
nic_router_uplinks.run Remove support for the Muen separation kernel 2021-02-23 11:55:44 +01:00
usb_hid_raw.run platform driver: make device info XML optional 2021-05-05 11:31:16 +02:00
usb_hid_reconnect.run Remove support for the Muen separation kernel 2021-02-23 11:55:44 +01:00
usb_hid.run base: remove SPEC variables of boards (fix #3971) 2021-01-25 13:58:09 +01:00
usb_net.run Don't use the NIC server mode of NIC drivers 2021-02-23 11:53:41 +01:00
usb_rndis.run Don't use the NIC server mode of NIC drivers 2021-02-23 11:53:41 +01:00
usb_storage.run dde_linux: name usb_drv unambigously 2019-05-16 13:11:00 +02:00
usb_terminal.run gpio_drv: remove specs for imx53 and imx6 2020-10-09 13:35:56 +02:00
vfs_cfg.run autopilot: disable run script not supported by riscv 2021-02-23 12:07:16 +01:00
vfs_lxip.inc Re-enable network tests on all platforms 2019-01-30 13:54:53 +01:00
wifi.run Don't use the NIC server mode of NIC drivers 2021-02-23 11:53:41 +01:00