This machine is available only for aarch64 host/guest and x86_64 host/guest combinations. Some nitro devices follow the same rule also. To avoid duplicated information, we use CONFIG_NITRO instead.
Signed-off-by: Pierrick Bouvier <[email protected]> --- hw/nitro/machine.c | 2 ++ 1 file changed, 2 insertions(+) diff --git a/hw/nitro/machine.c b/hw/nitro/machine.c index 8849959359c..79d57664886 100644 --- a/hw/nitro/machine.c +++ b/hw/nitro/machine.c @@ -248,6 +248,7 @@ out: static void nitro_machine_class_init(ObjectClass *oc, const void *data) { + TARGET_SPECIFIC_CLASS(oc)->is_available = target_config_nitro; MachineClass *mc = MACHINE_CLASS(oc); mc->desc = "Nitro Enclave"; @@ -264,6 +265,7 @@ static const TypeInfo nitro_machine_info = { .class_init = nitro_machine_class_init, .interfaces = (const InterfaceInfo[]) { /* x86_64 and aarch64 only */ + { TYPE_TARGET_SPECIFIC }, { TYPE_TARGET_AARCH64_MACHINE }, { } }, -- 2.43.0
