specific_ss.add(when: 'CONFIG_TCG', if_true: files('softfloat.c'))