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