An error occurred while loading the file. Please try again.
-
Christopher Clark authored
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>
dc08df21
meta-virt-xen.inc 987 B
# Make sure Xen mode is enabled in qemuPACKAGECONFIG_append_pn-qemu = " xen"# For builds for ARM platforms, enable fdtPACKAGECONFIG_append_pn-qemu_arm = " fdt"PACKAGECONFIG_append_pn-qemu_aarch64 = " fdt"# Raspberry Pi settings# Xen uses u-boot for configuration and uses the uartRPI_USE_U_BOOT_raspberrypi4-64 = "1"ENABLE_UART_raspberrypi4-64 = "1"# Build the bootable SD card imageIMAGE_CLASSES_append_raspberrypi4-64 = " sdcard_image-rpi"IMAGE_FSTYPES_append_raspberrypi4-64 = " rpi-sdimg"# Add Xen to the bootable SD card imageRPI_SDIMG_EXTRA_DEPENDS_append_raspberrypi4-64 = " xen:do_deploy"DEPLOYPAYLOAD_raspberrypi4-64 = "xen-${MACHINE}:xen"# We need the GIC enabled for Xen to workRPI_EXTRA_CONFIG_append_raspberrypi4-64 = "\nenable_gic=1"# Increase boot partition for space for kernel and XenBOOT_SPACE_raspberrypi4-64 = "61440"# Override the meta-raspberrypi default kernel preferencePREFERRED_PROVIDER_virtual/kernel_raspberrypi4-64 = "linux-yocto-dev"