libvmm
libvmm copied to clipboard
au-ts
An experimental virtual machine monitor for the seL4 microkernel
This PR is an extension of the sDDF PR here (https://github.com/au-ts/sddf/pull/423). This PR removes all `export override` directives from our makefiles, as discussed here #337. It was found that `export...
Re-based version of https://github.com/au-ts/libvmm/pull/116. It should be noted that multi-core virtual machines won't work yet because Microkit lacks support for it, but when Microkit does add support for pinning a...
This PR adds virtio-socket device implementation and example system into libvmm to allow inter-guests communication without any Ethernet or IP protocols set up. The accompanying example system `virtio-socket` runs two...
This PR: - Integrated virtio block device implementation changes from #128 that fixes descriptor chain parsing. - Fixed an issue that caused the data on the backing storage device to...
(Rebased version of https://github.com/au-ts/libvmm/pull/121, new PR due to commit history changes.) This PR adds initial support for RISC-V guests to libvmm. Right now, only 64-bit guests are supported/tested. This PR...
As we add more platforms and examples to the VMM repository, naturally the size of it will grow as we are storing Linux kernel images and root file systems. Currently...
On a guest VM with virtio-block, creating 100 folders with: ```bash cd /mnt/testing && rm -rf * && sync && for i in $(seq 1 100); do mkdir "$i"; done...
With the introduction of microkit_sdf_gen and support in https://github.com/au-ts/libvmm/pull/146, we could get rid this: https://github.com/au-ts/libvmm/blob/150556d4b2787ea4d294ee90e3ff4817cd900b8a/include/libvmm/util/util.h#L16 And have the user provide the vCPU's ID as that data is provided by the...
In certain Linux v6.x builds on ARM boards with a GICv3 (attached example kernel which crashes on an Avnet MaaXBoard), when the guest boots, the function `vgic_dist_reg_write()` in `vdist.h` prints...