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.