| specific_ss.add(when: 'CONFIG_SOFTMMU', if_true: [files( | |
| 'arch_init.c', | |
| 'balloon.c', | |
| 'cpus.c', | |
| 'cpu-throttle.c', | |
| 'ioport.c', | |
| 'memory.c', | |
| 'memory_mapping.c', | |
| 'qtest.c', | |
| 'vl.c', | |
| 'cpu-timers.c', | |
| )]) | |
| specific_ss.add(when: ['CONFIG_SOFTMMU', 'CONFIG_TCG'], if_true: [files( | |
| 'icount.c' | |
| )]) |