Re: [SeaBIOS] [Qemu-devel] RFC: Proposed vfio IGD assignment fw_cfg ABI