mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-22 04:52:56 +01:00
- Use 'label' attribute to identify device instead of bus/dev and vendor_id/product_id - Implement release_interface RPC - Report 'label' as well as 'bus' and 'dev' - Add policy handling to raw driver (includes reconfiguration at runtime) - Use own memory backing store for large DMA allocations Issue #1863.