board:
  name: xenvm
  vendor: xen
  socs:
  - name: xenvm
    variants:
    - name: gicv3