manticoreos/manticore

Configuration space reads that are wider than 32-bits are broken in virtio

penberg opened this issue · 0 comments

Section 2.4.1 ("Driver Requirements: Device Configuration Space") of the virtio specification says that any reads that are wider than 32-bits must check the "config generation" counter to ensure atomicity of reads.