On Wed, 21 Feb 2024 at 11:01, Thomas Huth <th...@redhat.com> wrote: > > When using "--without-default-devices", the ARM_GICV3_TCG and ARM_GIC_KVM > settings currently get disabled, though the arm virt machine is only of > very limited use in that case. This also causes the migration-test to > fail in such builds. Let's make sure that we always keep the GIC switches > enabled in the --without-default-devices builds, too. > > Signed-off-by: Thomas Huth <th...@redhat.com> > --- > hw/intc/Kconfig | 12 ++++++------ > 1 file changed, 6 insertions(+), 6 deletions(-)
I don't understand the Kconfig infrastructure well enough to review this, but if somebody who does wants to give it a reviewed-by I'm happy to take it into target-arm.next. thanks -- PMM