Bill Nguyen

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...

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...

GICv3 Unknown enable register encoding

1

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...

Add virtualised filesystem example

8

This PR adds virtualised filesystem example into LionsOS. See the README for more details: https://github.com/au-ts/lionsos/tree/fs_driver_vm/examples/vmfs

This PR adds implmentation and documentations of the pinctrl subsystem and driver for imx8-based platforms. Limitations: - Dynamic configuration of pinctrl registers at runtime is unsupported as the client interface...

This PR implements the serial driver for the AMD Zynq™ UltraScale+™ MPSoC platform.

This PR adds: - Networking UIO driver to libvmm to allow creation of Ethernet driver VMs (maybe WiFi/Cellular in the future?) - A patched echo server example that uses an...