diff options
Diffstat (limited to 'conf/distro/include/meta-virt-xen.inc')
| -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" | ||