| 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')) | |
| specific_ss.add(when: 'CONFIG_HV_BALLOON', if_true: files('hv-balloon.c', 'hv-balloon-page_range_tree.c')) |