On 10/22/13 19:55, Laszlo Ersek wrote: >> The question arises because Olivier has posted a series to edk2-devel >> that adds virtio-mmio support to TianoCore, and Mark tested it (using >> OVMF) with a Linux guest and found problems. Namely, OVMF itself can >> drive the virtio devices via virtio-mmio, but the Linux kernel booted >> from OVMF can not. The reason is the missing zeroing of QueuePFN when >> OVMF is exiting. (I'm just paraphrasing the analysis.) s/OVMF/AArch64 foundation model/g http://thread.gmane.org/gmane.comp.bios.tianocore.devel/4373/focus=4411 I should have followed my own advice, not to post when sick. I'll go now and hide in a cave. Laszlo /facepalm _______________________________________________ Virtualization mailing list Virtualization@xxxxxxxxxxxxxxxxxxxxxxxxxx https://lists.linuxfoundation.org/mailman/listinfo/virtualization