diff options
author | Christopher Clark <christopher.w.clark@gmail.com> | 2020-08-07 00:05:03 -0700 |
---|---|---|
committer | Bruce Ashfield <bruce.ashfield@gmail.com> | 2020-08-11 15:58:37 -0400 |
commit | dc08df210c16bc7d2a06065a3c43ef9078f986c9 (patch) | |
tree | 3a982c08086e7aaa70309e1327d9d15d298a880e /conf | |
parent | 066225be3ac4f3067739de4df9f51aec0f5b03c5 (diff) | |
download | meta-virtualization-dc08df210c16bc7d2a06065a3c43ef9078f986c9.tar.gz |
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 <christopher.w.clark@gmail.com>
Signed-off-by: Bruce Ashfield <bruce.ashfield@gmail.com>
Diffstat (limited to 'conf')
-rw-r--r-- | conf/distro/include/meta-virt-xen.inc | 4 |
1 files changed, 4 insertions, 0 deletions
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" | |||
17 | DEPLOYPAYLOAD_raspberrypi4-64 = "xen-${MACHINE}:xen" | 17 | DEPLOYPAYLOAD_raspberrypi4-64 = "xen-${MACHINE}:xen" |
18 | # We need the GIC enabled for Xen to work | 18 | # We need the GIC enabled for Xen to work |
19 | RPI_EXTRA_CONFIG_append_raspberrypi4-64 = "\nenable_gic=1" | 19 | RPI_EXTRA_CONFIG_append_raspberrypi4-64 = "\nenable_gic=1" |
20 | # Increase boot partition for space for kernel and Xen | ||
21 | BOOT_SPACE_raspberrypi4-64 = "61440" | ||
22 | # Override the meta-raspberrypi default kernel preference | ||
23 | PREFERRED_PROVIDER_virtual/kernel_raspberrypi4-64 = "linux-yocto-dev" | ||