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
17 stars 14 forks source link

Blk subsystem: DMA address alignment considerations #225

Closed erichchan999 closed 1 week ago

erichchan999 commented 2 weeks ago

The block virtualiser currently does not check for alignment of client data physical addresses. Not entirely sure whether this is the virtualiser's role, or whether it should be the driver's. It seems like this requirement varies between block devices, between either needing word alignment, page alignment, or sector size alignment. Mentioned in the sddf design spec to be page alignment, seems like that should be fine for most dma controllers.