19c5180d7SDaniel Henrique Barbozariscv_ss.add(when: 'CONFIG_TCG', if_true: files( 29c5180d7SDaniel Henrique Barboza 'tcg-cpu.c')) 3