On 1/25/25 10:13, Philippe Mathieu-Daudé wrote:
Do not explain why VFIO_PLATFORM devices are user_creatable, have them inherit TYPE_DYNAMIC_SYS_BUS_DEVICE, to explicit they can optionally be plugged on TYPE_PLATFORM_BUS_DEVICE.
to make it explicit that they can be Reviewed-by: Richard Henderson <richard.hender...@linaro.org> r~