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
16 stars 12 forks source link

blk virtualiser #86

Closed erichchan999 closed 4 months ago

erichchan999 commented 5 months ago

This PR provides a virtualiser implementation for sDDF blk. It parses an msdos/mbr partition table in order to allocate one partition to one client. It uses memcpy to transfer client and driver data. This is done for now for simplicity with an existing driver VM implementation, but I expect in the near future we pass a physical pointer to do DMA.

Also includes minor changes to sDDF queue in regards to the queue size hash defines

Ivan-Velickovic commented 4 months ago

I'd like to understand the datastore and fsmem more first, but we can discuss that in person.