1*de6cd759SPhilippe Mathieu-Daudéi386_system_ss.add(when: [hvf, 'CONFIG_HVF'], if_true: files( 2abff1abfSPaolo Bonzini 'hvf.c', 3abff1abfSPaolo Bonzini 'x86.c', 4abff1abfSPaolo Bonzini 'x86_cpuid.c', 5abff1abfSPaolo Bonzini 'x86_descr.c', 6abff1abfSPaolo Bonzini 'x86_mmu.c', 7abff1abfSPaolo Bonzini 'x86_task.c', 8abff1abfSPaolo Bonzini 'x86hvf.c', 9f5cc5a5cSClaudio Fontana 'hvf-cpu.c', 10abff1abfSPaolo Bonzini)) 11