| 1 | emulator_files = files( |
| 2 | 'x86_decode.c', |
| 3 | 'x86_emu.c', |
| 4 | 'x86_flags.c', |
| 5 | 'x86_mmu.c' |
| 6 | ) |
| 7 | |
| 8 | emulator_helper_files = files( |
| 9 | 'x86_helpers.c' |
| 10 | ) |
| 11 | |
| 12 | i386_system_ss.add(when: [hvf, 'CONFIG_HVF'], if_true: emulator_files) |
| 13 | i386_system_ss.add(when: 'CONFIG_MSHV', if_true: emulator_files) |
| 14 | i386_system_ss.add(when: 'CONFIG_WHPX', if_true: emulator_files) |
| 15 | |
| 16 | i386_system_ss.add(when: 'CONFIG_MSHV', if_true: emulator_helper_files) |
| 17 | i386_system_ss.add(when: 'CONFIG_WHPX', if_true: emulator_helper_files) |