[seL4] Hins for an seL4 virtio pci driver?

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