blob: 9c54aaad392267ca6b2d249a78a3df3962d536a7 [file] [log] [blame]
i386_system_ss.add(when: 'CONFIG_WHPX', if_true: files(
'whpx-all.c',
'whpx-apic.c',
'whpx-accel-ops.c',
))