xen, rpi4: switch Xen-on-Rpi4 kernel preference to linux-yocto

The 5.10 version of the Linux Yocto kernel supports running Xen on the
Raspberry Pi 4, so the previous preference for linux-yocto-dev can be
replaced.

Use the ?= operator to set the kernel preference now since
meta-raspberrypi commit e0b4b8c5d introduced use of the weak default
for kernel preference in that layer to allow this here.

KERNEL_DEVICETREE needs to be set to match the build outputs of the
selected kernel, in this case: "broadcom/bcm2711-rpi-4-b.dtb"

Tested with kernel version:
 SRCREV_machine = "cf5b0320cf4544d3db9ce3ddd6ddb7553a610651"
 SRCREV_meta="031f6c76e488a3563f35258c72ff1de3e25a512e"

Signed-off-by: Christopher Clark <christopher.w.clark@gmail.com>
Signed-off-by: Bruce Ashfield <bruce.ashfield@gmail.com>
This commit is contained in:
Christopher Clark 2021-04-24 01:30:59 -07:00 committed by Bruce Ashfield
parent d82cc67a23
commit 337ae20576

View File

@ -20,4 +20,5 @@ RPI_EXTRA_CONFIG_append_raspberrypi4-64 = "\nenable_gic=1"
# Increase boot partition for space for kernel and Xen
BOOT_SPACE_raspberrypi4-64 = "61440"
# Override the meta-raspberrypi default kernel preference
PREFERRED_PROVIDER_virtual/kernel_raspberrypi4-64 = "linux-yocto-dev"
PREFERRED_PROVIDER_virtual/kernel_raspberrypi4-64 ?= "linux-yocto"
KERNEL_DEVICETREE_raspberrypi4-64 ?= "broadcom/bcm2711-rpi-4-b.dtb"