On 30 July 2024 18:53:18 BST, "Michael S. Tsirkin" <m...@redhat.com> wrote: >We don't want to manually sync headers with Linux.
Indeed. I was briefly tempted to fake it, but figured it might get lost if we subsequently do run the script to automatically merge from Linux, before the guest driver is merged there. >I think Linux abi should live under uapi. When it is there, we can use >./scripts/update-linux-headers.sh machinery to import it. This isn't just Linux ABI. It's intended as hypervisor to guest ABI too. In the fullness of time I'm hoping it'll actually be a virtio header. In the meantime, best not to overthink it. It's fine in hw/acpi alongside the device itself for now, I think.
