ACRN up to and including 2.2 has a devicemodel/hw/pci/virtio/virtio.c NULL Pointer Dereference.
projectacrn acrn