mirror of
git://git.yoctoproject.org/meta-virtualization.git
synced 2025-07-19 12:50:22 +02:00
686adaf68e
Improve meta-virt-xen.inc by moving all the Raspberry Pi 4 config settings to a new xen-raspberrypi4-64.inc file in the raspberrypi dynamic layer. The new .inc file is included only for the raspberrypi4-64 MACHINE, so the config settings no longer need to be applied using overrides. Signed-off-by: Christopher Clark <christopher.w.clark@gmail.com> Signed-off-by: Bruce Ashfield <bruce.ashfield@gmail.com>
24 lines
696 B
HTML
24 lines
696 B
HTML
# Xen on Raspberry Pi 4 settings
|
|
|
|
# Xen uses u-boot for configuration and uses the uart
|
|
RPI_USE_U_BOOT = "1"
|
|
ENABLE_UART = "1"
|
|
|
|
# Build the bootable SD card image
|
|
IMAGE_CLASSES_append = " sdcard_image-rpi"
|
|
IMAGE_FSTYPES_append = " rpi-sdimg"
|
|
|
|
# Add Xen to the bootable SD card image
|
|
RPI_SDIMG_EXTRA_DEPENDS_append = " xen:do_deploy"
|
|
DEPLOYPAYLOAD = "xen-${MACHINE}:xen"
|
|
|
|
# We need the GIC enabled for Xen to work
|
|
RPI_EXTRA_CONFIG_append = "\nenable_gic=1"
|
|
|
|
# Increase boot partition for space for kernel and Xen
|
|
BOOT_SPACE = "61440"
|
|
|
|
# Override the meta-raspberrypi default kernel preference
|
|
PREFERRED_PROVIDER_virtual/kernel ?= "linux-yocto"
|
|
KERNEL_DEVICETREE ?= "broadcom/bcm2711-rpi-4-b.dtb"
|