1 specific_ss.add(when: 'CONFIG_SEMIHOSTING', if_true: files(
6 specific_ss.add(when: ['CONFIG_SEMIHOSTING', 'CONFIG_SYSTEM_ONLY'], if_true: files(
12 specific_ss.add(when: ['CONFIG_ARM_COMPATIBLE_SEMIHOSTING'],
13 if_true: files('arm-compat-semi.c'))