specific_ss.add(when: 'CONFIG_SOFTMMU', if_true: [files(
  'arch_init.c',
  'balloon.c',
  'cpus.c',
  'cpu-throttle.c',
  'physmem.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'
)])

softmmu_ss.add(files(
  'bootdevice.c',
  'dma-helpers.c',
  'qdev-monitor.c',
), sdl, libpmem, libdaxctl)

softmmu_ss.add(when: 'CONFIG_TPM', if_true: files('tpm.c'))
softmmu_ss.add(when: 'CONFIG_SECCOMP', if_true: [files('qemu-seccomp.c'), seccomp])
softmmu_ss.add(when: fdt, if_true: files('device_tree.c'))