blob: 519d190f0e6bb95e2860e17a730ae3ec6dc0b33a [file]
i386_system_ss.add(when: [hvf, 'CONFIG_HVF'], if_true: files(
'hvf.c',
'x86.c',
'x86_cpuid.c',
'x86_descr.c',
'x86_mmu.c',
'x86_task.c',
'x86hvf.c',
'hvf-cpu.c',
))