1specific_ss.add(when: 'CONFIG_HAX', if_false: files('hax-stub.c')) 2specific_ss.add(when: 'CONFIG_XEN', if_false: files('xen-stub.c')) 3specific_ss.add(when: 'CONFIG_HVF', if_false: files('hvf-stub.c')) 4specific_ss.add(when: 'CONFIG_KVM', if_false: files('kvm-stub.c')) 5specific_ss.add(when: 'CONFIG_TCG', if_false: files('tcg-stub.c')) 6specific_ss.add(when: 'CONFIG_WHPX', if_false: files('whpx-stub.c')) 7