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.
Preparing the board
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.
Building Xen and Linux
First, will build Linux for dom0, to have a device tree to provide to Xen.
Use this config file and add anything you need.
git clone git://xenbits.xen.org/people/aperard/linux-arndale.git linux cd linux wget -O .config 'http://xenbits.xen.org/gitweb/?p=people/aperard/linux-arndale.git;a=blob_plain;f=.config;hb=refs/heads/config' make uImage make dtbs
Use arch/arm/boot/exynos5250-arndale.dtb as a device tree provided to Xen at compile time.
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, with CONFIG_DTB_FILE=$linux_tree/arch/arm/boot/exynos5250-arndale.dtb passed to make.