au-ts / libvmm

An experimental virtual machine monitor for the seL4 microkernel
Other
29 stars 15 forks source link

Upstream virtio block, refactor libuio, and fix virtio block descriptor chain parsing #128

Open erichchan999 opened 1 month ago

erichchan999 commented 1 month ago

This PR upstreams the block virtualiser changes where offsets are converted to io addresses. It also fixes a bug in virtio block to do with descriptor chain parsing.

libuio changes were made in conjunction with @dreamliner787-9

erichchan999 commented 1 month ago

nvm haven't tested this on odroidc4 yet, will be drafting it.

erichchan999 commented 1 month ago

May need to do elf patching on the uio driver to propagate the data region phys_addr. Ideally this piece of code should interface with microkit somehow so we can specify this patching in the sdf file. Now done via a shared memory region with VMM and the linux guest