Arch Linux User Repository

@luolimao: the existing 20_linux_xen file won't pick up the kernel as archlinux deploys it, and puts it after the normal boot config so you have to explicitly select the xen boot option whenever you boot up. The 09_xen version can see the archlinux kernel and also puts it above the normal boot option so that booting into xen + dom0 is the default.

Please include the texi2html.patch file from the website I mentioned in the previous comment; it allows xen to be compiled if you have extra/texi2html 5.0-2 installed. I also uploaded 09_xen, a tweaked grub2 configration file to be dropped into /etc/grub.d so that grub-mkconfig will detect and add config to support booting the xen kernel image. If you want the EFI boot image for xen to be built, you have to use a slightly modified version of binutils; I grabbed the PKGBUILD and binutils.install for the latest stable version of binutils-multilib, then edited the PKGBUILD file to add "--enable-targets=x86_64-pep" into the list of options being passed to configure. Once I had built and installed the modified binutils-multilib, the xen.efi image was compiled when I built xen.