Hello seL4 community,
I am currently examining the possibility of using seL4 in a VM and writing a virtio driver to communicate with a virtio pci device in the HV.
I looked around the available seL4 projects, and I noticed that there is the `libvirtqueue` and `libpci` projects which should come handy.
However, I haven't been able to to find any other project which uses either of the libraries and I haven't found any tests for the two projects.
Can you point me to projects which use these two libraries?
Kind regards,
Martin