riscv_ss.add(when: 'CONFIG_TCG', if_true: files(
  'tcg-cpu.c'))