search

au-ts / sddf

A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low overhead.
Other
23 stars 18 forks source link

drivers/blk/virtio: make setvars consistent with other block drivers #260

Closed Ivan-Velickovic closed 2 months ago

Ivan-Velickovic commented 2 months ago

The i.MX8 uSDHC driver uses blk_req_queue and blk_resp_queue which makes more sense. So we make the virtIO driver conssitent with it.