This script builds Xen, a 64-bit linux kernel from the Raspberry Pi tree, and packages a minimal 64-bit Ubuntu 20.04 rootfs for the Raspberry Pi 4. A recent version of Ubuntu is required to run the build script. An internet connection is required. 8 GB RAM or more is recommended, and 10GB+ free disk space.

Usage:

$ ./rpixen.sh

Ensure that the script prints the message "=== BUILD SUCCEEDED ===". When the script is finished, flash to SD card with (for example):

$ umount /dev/sdX1
$ umount /dev/sdX2
$ sudo dd if=rpixen.img of=/dev/sdX bs=8M
$ sync

Xen will print messages to the UART. Log in with username dornerworks password dornerworks.

To install a graphical desktop, expand the rootfs partition, ensure that you have an internet connection, run the command sudo apt install ubuntu-desktop, and reboot.

This script is a little bit like https://github.com/mirage/xen-arm-builder and https://github.com/RPi-Distro/pi-gen but for Xen+Ubuntu instead of Raspbian. More info about Ubuntu Base is available here https://wiki.ubuntu.com/Base.

• Raspberry Pi kernel not suitable for domU
• aux spi1 and aux spi2 are disabled

A 32-bit linux kernel may be built by doing:

$ ./rpixen.sh armhf

Xen will be built for aarch64 regardless.