From dc08df210c16bc7d2a06065a3c43ef9078f986c9 Mon Sep 17 00:00:00 2001 From: Christopher Clark Date: Fri, 7 Aug 2020 00:05:03 -0700 Subject: xen, raspi4, linux-yocto-dev: Enable Xen on Raspberry Pi 4 Enable linux-yocto-dev as the Linux kernel for Xen on the Raspberry Pi 4, with the bcm-2xxx-rpi4 KMACHINE and KBRANCH. Set a Raspberry Pi SD card variable to increase the size of the boot partition to accommodate both the kernel and the Xen hypervisor. Signed-off-by: Christopher Clark Signed-off-by: Bruce Ashfield --- conf/distro/include/meta-virt-xen.inc | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'conf/distro') diff --git a/conf/distro/include/meta-virt-xen.inc b/conf/distro/include/meta-virt-xen.inc index 0a91ef9a..44853d95 100644 --- a/conf/distro/include/meta-virt-xen.inc +++ b/conf/distro/include/meta-virt-xen.inc @@ -17,3 +17,7 @@ RPI_SDIMG_EXTRA_DEPENDS_append_raspberrypi4-64 = " xen:do_deploy" DEPLOYPAYLOAD_raspberrypi4-64 = "xen-${MACHINE}:xen" # We need the GIC enabled for Xen to work RPI_EXTRA_CONFIG_append_raspberrypi4-64 = "\nenable_gic=1" +# Increase boot partition for space for kernel and Xen +BOOT_SPACE_raspberrypi4-64 = "61440" +# Override the meta-raspberrypi default kernel preference +PREFERRED_PROVIDER_virtual/kernel_raspberrypi4-64 = "linux-yocto-dev" -- cgit v1.2.3-54-g00ecf