| specific_ss.add(when: 'CONFIG_HYPERV', if_true: files('hyperv.c')) | |
| specific_ss.add(when: 'CONFIG_HYPERV_TESTDEV', if_true: files('hyperv_testdev.c')) | |
| specific_ss.add(when: 'CONFIG_VMBUS', if_true: files('vmbus.c')) | |
| specific_ss.add(when: 'CONFIG_SYNDBG', if_true: files('syndbg.c')) |