arm_system_ss.add(when: [hvf, 'CONFIG_HVF'], if_true: files(
  'hvf.c',
))