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.

Next step is to build Linux. You can get a tree from xenbits which is built on top of Linaro's tree [1].

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:

 CONFIG_SMP=n

Resources

• Information about the Arndale board development: www.arndaleboard.org/wiki/index.php/WiKi.
• Linaro page about the Arndale board: wiki.linaro.org/Boards/Arndale/Setup/PXEBoot