summaryrefslogtreecommitdiffstats
path: root/dynamic-layers/raspberrypi/conf/distro/include/xen-raspberrypi4-64.inc
diff options
context:
space:
mode:
Diffstat (limited to 'dynamic-layers/raspberrypi/conf/distro/include/xen-raspberrypi4-64.inc')
-rw-r--r--dynamic-layers/raspberrypi/conf/distro/include/xen-raspberrypi4-64.inc8
1 files changed, 4 insertions, 4 deletions
diff --git a/dynamic-layers/raspberrypi/conf/distro/include/xen-raspberrypi4-64.inc b/dynamic-layers/raspberrypi/conf/distro/include/xen-raspberrypi4-64.inc
index 2ea19dd4..2d5a167c 100644
--- a/dynamic-layers/raspberrypi/conf/distro/include/xen-raspberrypi4-64.inc
+++ b/dynamic-layers/raspberrypi/conf/distro/include/xen-raspberrypi4-64.inc
@@ -5,15 +5,15 @@ RPI_USE_U_BOOT = "1"
5ENABLE_UART = "1" 5ENABLE_UART = "1"
6 6
7# Build the bootable SD card image 7# Build the bootable SD card image
8IMAGE_CLASSES_append = " sdcard_image-rpi" 8IMAGE_CLASSES:append = " sdcard_image-rpi"
9IMAGE_FSTYPES_append = " rpi-sdimg" 9IMAGE_FSTYPES:append = " rpi-sdimg"
10 10
11# Add Xen to the bootable SD card image 11# Add Xen to the bootable SD card image
12RPI_SDIMG_EXTRA_DEPENDS_append = " xen:do_deploy" 12RPI_SDIMG_EXTRA_DEPENDS:append = " xen:do_deploy"
13DEPLOYPAYLOAD = "xen-${MACHINE}:xen" 13DEPLOYPAYLOAD = "xen-${MACHINE}:xen"
14 14
15# We need the GIC enabled for Xen to work 15# We need the GIC enabled for Xen to work
16RPI_EXTRA_CONFIG_append = "\nenable_gic=1" 16RPI_EXTRA_CONFIG:append = "\nenable_gic=1"
17 17
18# Increase boot partition for space for kernel and Xen 18# Increase boot partition for space for kernel and Xen
19BOOT_SPACE = "61440" 19BOOT_SPACE = "61440"