| 1 | system_ss.add(files('core.c')) |
| 2 | system_ss.add(when: 'CONFIG_CPU_CLUSTER', if_true: files('cluster.c')) |
| 3 | |
| 4 | system_ss.add(when: 'CONFIG_ARM11MPCORE', if_true: files('arm11mpcore.c')) |
| 5 | system_ss.add(when: 'CONFIG_REALVIEW', if_true: files('realview_mpcore.c')) |
| 6 | system_ss.add(when: 'CONFIG_A9MPCORE', if_true: files('a9mpcore.c')) |
| 7 | system_ss.add(when: 'CONFIG_A15MPCORE', if_true: files('a15mpcore.c')) |