jcs.org / qemu
qemu with hax to log dma reads & writes jcs.org/2018/11/12/vfio
fork atom
qemu / docs / spin /
at jcs-vmm 5 files
Paolo Bonzini docs: create config/, devel/ and spin/ subdirectories
ac06724a
aio_notify.promela
aio_notify_accept.promela
aio_notify_bug.promela
tcg-exclusive.promela
win32-qemu-event.promela