Eric Chan

When implementing a typical driver VM, we want the userspace UIO driver to behave like a microkit protection domain in the sense that a microkit signal to the VMM should...

Future TODOs following this PR #28 - [ ] **Use one compiler**: VirtIO block example uses multiple compilers (clang + aarch64-linux-gnu-gcc) to also cross compile for linux userspace. We want...

virtIO devices crashing early

3

As mentioned from #70 , in the virtio example if console.c is invoked too early to handle the receiving of characters, this can cause the VMM to crash. This is...

This minimises the gpu driver VM in terms of the linux dts and what's passed through to the VMM, for both odroidc4 and qemu. This is not an exhaustive minimisation...

There are some design issues and assumptions to clarify/sort through in relation to the blk virtualiser PR #86 - [ ] **Optimal block size**: ~~As far as I know optimal...

matching design doc on blk and its code

1

Currently the design document for storage devices in Listing 5.1 does not match the code. These need to be changed: - removing count and address fields in blk_response. These were...