genode/repos/os/recipes/raw
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
..
drivers_interactive-imx53_qsb depot: update recipe hashes 2020-10-09 13:35:57 +02:00
drivers_interactive-linux depot: update recipe hashes 2020-08-25 11:50:41 +02:00
drivers_interactive-pbxa9 platform driver: make device info XML optional 2021-05-05 11:31:16 +02:00
drivers_interactive-pc depot: update recipe hashes 2020-08-25 11:50:41 +02:00
drivers_nic-linux depot: update recipe hashes 2021-02-23 12:07:18 +01:00
drivers_nic-pbxa9 depot: update recipe hashes 2021-04-20 12:10:58 +02:00
drivers_nic-virt_qemu platform driver: make device info XML optional 2021-05-05 11:31:16 +02:00
drivers_nic-zynq depot: update recipe hashes 2021-02-23 12:07:18 +01:00
test-init depot: update recipe hashes 2021-04-20 12:10:58 +02:00
test-lx_block depot: update recipe hashes 2019-02-26 14:47:02 +01:00
test-part_block_gpt depot: update recipe hashes 2019-02-26 14:47:02 +01:00
test-part_block_mbr depot: update recipe hashes 2019-03-19 11:12:36 +01:00