Xen ARM with Virtualization Extensions/Arndale
The work for Xen on the Arndale Development board is on his way. So don't expect to have a usable dom0 yet.
Building Xen and Linux
The bootloader provided with the Arndale does not let Xen boot in hypervisor mode, so we will use the u-boot provided by Linaro.
Follow the step on the Linaro wiki, to build and install u-boot.
To Build, get the source tree from the repo, which contain branches (last one is exynos5250-2013-03-22) with patches to get serial and other device working on the board.
git clone --branch exynos5250-2013-03-22 git://xenbits.xen.org/people/aperard/xen-arm.git
Then, Build Xen on ARM.
and have those config options in .config:
CONFIG_XEN=y CONFIG_XEN_DOM0=y CONFIG_HVC_DRIVER=y CONFIG_HVC_IRQ=y CONFIG_HVC_XEN=y
Also, multi CPU does not work yet with Xen on ARM, so make sure to remove: