1 nios2_ss = ss.source_set()
2 nios2_ss.add(files('boot.c'))
3 nios2_ss.add(when: 'CONFIG_NIOS2_10M50', if_true: files('10m50_devboard.c'))
4 nios2_ss.add(when: 'CONFIG_NIOS2_GENERIC_NOMMU', if_true: files('generic_nommu.c'))
6 hw_arch += {'nios2': nios2_ss}