board:
name: xenvm
full_name: ARMv8 Xen Virtual Machine Example
vendor: xen
socs:
- name: xenvm
variants:
- name: gicv3