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.
Use this config file and add anything you need.