meta-virtualization/dynamic-layers/raspberrypi
Christopher Clark dc08df210c 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>
2020-08-11 15:58:37 -04:00
..
recipes-bsp/rpi-u-boot-scr xen, rpi4: use RPI_EXTRA_CONFIG and drop the rpi-config_git.bbappend 2020-08-11 15:58:37 -04:00
recipes-extended/xen xen, raspberry pi 4: provide a default defconfig for raspberrypi4 2020-07-06 16:25:56 -04:00
recipes-kernel/linux xen, raspi4, linux-yocto-dev: Enable Xen on Raspberry Pi 4 2020-08-11 15:58:37 -04:00