| 1 | system_ss.add(when: 'CONFIG_TCG', if_true: files( |
| 2 | 'replay.c', |
| 3 | 'replay-internal.c', |
| 4 | 'replay-events.c', |
| 5 | 'replay-time.c', |
| 6 | 'replay-input.c', |
| 7 | 'replay-char.c', |
| 8 | 'replay-snapshot.c', |
| 9 | 'replay-net.c', |
| 10 | 'replay-audio.c', |
| 11 | 'replay-random.c', |
| 12 | 'replay-debugging.c', |
| 13 | ), if_false: files('stubs-system.c')) |