Commit Graph

2 Commits

Author SHA1 Message Date
Christopher Clark
1ebde9be9a xen, linux-yocto-dev, RPi4: weaker assign for KBRANCH and KMACHINE
Switch to use ?= to set KBRANCH_raspberrypi4-64 to make it easier to
override elsewhere when needed for switching to a different kernel branch.
Also make the same change for KMACHINE_raspberrypi4-64 to match how it is
assigned in the meta-yocto-bsp layer.

Signed-off-by: Christopher Clark <christopher.w.clark@gmail.com>
Signed-off-by: Bruce Ashfield <bruce.ashfield@gmail.com>
2020-12-28 22:54:16 -05:00
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