Re: Questions about virtio DMA operations

Dear Peter, I had a few additional questions with regards to dma_memory_map(). So, let's say I record the buffer that has been written/read from the disk. iov[num_sg].iov_base = dma_memory_map(vdev->dma_as, pa, &len, s_write ? DMA_DIRECTION_FROM_DEVICE :

Re: Godel.Run Question

On Mon, 30 Aug 2021 at 18:18, Albert Brooks wrote: > > Hello QEMU, > > I saw that QEMU was a contributor to Godel.Run. I guess you're referring to their web page, which says: "Driven by the following open source projects, thanks to their contributors. QT6 | noVNC | CodiMD | QEMU" ? That just me

Godel.Run Question

Hello QEMU, I saw that QEMU was a contributor to Godel.Run. I wanted to ask if Godel.Run handles graph and tree data? Thanks, Albert

Re: qemu-system-arm sharing host disk using virtiofsd

On 8/29/21 4:55 PM, Dave Turvene - Work wrote: > Greetings - > > I'm not sure this is the best group to ask the following question but > I'll start here. > > I use qemu to develop openwrt code.  I currently use a 9p mount to share > my code/cross-compile directory to the arm guest in order to run/t

/dev/kvm does not exist after launching a VM with QEMU

I am trying to use the syz-execprog tool of Syzkaller. To do that, I need to launch a VM manually using QEMU. My target is to fuzz KVM, so I need to have /dev/kvm on the VM. The problem I have is that after launching

Re: Questions about virtio DMA operations

Thank you for the clarification, Peter. > This sounds to me like the wrong layer to do this. My first > stab at a design for this would be to record and replay > at the disk block API level. Yes, I did follow the upstream record-and-replay feature and did try it. I can see that it has used a dif

Re: Questions about virtio DMA operations

On Mon, 30 Aug 2021 at 03:30, Arnabjyoti Kalita wrote: > > > That's normal, yes, but you can't guarantee it. The guest can > > choose to program it to any physical memory it likes. > > Is it ? If this is indeterministic, my approach will obviously not > work. It's deterministic to the extent that