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 for dom0. You can get a tree from xenbits which is built on top of Linaro's tree [1].

Use this config file and add anything you need.

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