Re: [PATCH] hw/intc/Kconfig: Fix GIC settings when using "--without-default-devices"

2024-03-04 Thread Peter Maydell
On Wed, 21 Feb 2024 at 11:01, Thomas Huth 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. Le

Re: [PATCH] hw/intc/Kconfig: Fix GIC settings when using "--without-default-devices"

2024-02-22 Thread Thomas Huth
On 22/02/2024 08.57, Philippe Mathieu-Daudé wrote: On 21/2/24 12:00, Thomas Huth 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-

Re: [PATCH] hw/intc/Kconfig: Fix GIC settings when using "--without-default-devices"

2024-02-21 Thread Philippe Mathieu-Daudé
On 21/2/24 12:00, Thomas Huth 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

Re: [PATCH] hw/intc/Kconfig: Fix GIC settings when using "--without-default-devices"

2024-02-21 Thread Fabiano Rosas
Thomas Huth writes: > 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 k

[PATCH] hw/intc/Kconfig: Fix GIC settings when using "--without-default-devices"

2024-02-21 Thread Thomas Huth
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 i