1i386_system_ss.add(when: [hvf, 'CONFIG_HVF'], if_true: files( 2 'hvf.c', 3 'x86.c', 4 'x86_cpuid.c', 5 'x86_descr.c', 6 'x86_mmu.c', 7 'x86_task.c', 8 'x86hvf.c', 9 'hvf-cpu.c', 10)) 11