Xen ARM with Virtualization Extensions

For the ARM port supporting paravirtualized guests on processors without the virtualization extensions see Xen ARM (PV).

The ARM v7-A architecture includes the optional virtualization extensions that allow a hypervisor to manage fully hardware virtualized guests. These extensions are available in the ARM Cortex A15 and Cortex A7 processors.

Requirements

Real-time System Model

Either the v7-A Envelope Model or the Cortex A15/A7 models (single CPU only).

Xen

arm-v4 branch of git://xenbits.xen.org/people/sstabellini/xen-unstable.git/.git

Linux kernel for dom0

vexpress-dt branch of git://xenbits.xen.org/people/dvrabel/linux.git

dom0 userspace

(more details here)

Dom0 kernel

Enable at least ARCH_VEXPRESS, ARCH_VEXPRESS_DT, ARM_APPENDED_DTB and ARM_ATAG_DTB_COMPAT. Disable SPARSE_IRQ (it doesn't play nicely with device tree support).

Device Tree Blob (DTB)

Build the device tree blobs (flattened device tree binary files) with make dtbs. A suitable DTB file for the envelope model is vexpress-v2p-aem-v7a.dtb.

Native boot

To boot the kernel natively use an updated boot-wrapper from git://xenbits.xen.org/people/dvrabel/boot-wrapper.git.