Hi! That info in kconfig.html is not up to date anymore, we are generating now #defines for the Kconfig switches. And in my build tree, I can see:
$ grep CONFIG_VFIO_IGD *-softmmu/*.h x86_64-softmmu/config-devices.h:#define CONFIG_VFIO_IGD 1
... what's missing in that file is simply a "#include "config-devices.h" ... sorry, that fell somehow through the cracks. I'll prepare a patch for that.
Hi! That info in kconfig.html is not up to date anymore, we are generating now #defines for the Kconfig switches. And in my build tree, I can see:
$ grep CONFIG_VFIO_IGD *-softmmu/*.h softmmu/ config- devices. h:#define CONFIG_VFIO_IGD 1
x86_64-
... what's missing in that file is simply a "#include "config-devices.h" ... sorry, that fell somehow through the cracks. I'll prepare a patch for that.