xen, raspberry pi: replace linux-yocto-dev with linux-yocto 5.15

The default preferred Linux kernel for Xen on the Raspberry Pi 4 in this
branch is linux-yocto. The alternative provided option is
linux-yocto-dev, but this is unintentionally a branch tracking configuration
rather than a fixed revision so not appropriate for a stable branch.

Remove the linux-yocto-dev in favour of the linux-yocto kernel version
5.15 which has been tested and verified working on the board.

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 2022-05-21 12:04:46 -07:00 committed by Bruce Ashfield
parent 2fae71cdf0
commit 590065c926
2 changed files with 6 additions and 8 deletions

View File

@ -1,8 +0,0 @@
# For a Xen-enabled distro on the Raspberry Pi, override the contents of cmdline.txt
# with Xen-on-ARM-specific command line options
KBRANCH:raspberrypi4-64 ?= "standard/bcm-2xxx-rpi"
KMACHINE:raspberrypi4-64 ?= "bcm-2xxx-rpi4"
COMPATIBLE_MACHINE:raspberrypi4-64 = "(raspberrypi4-64)"
require linux-yocto_xen-rpi.inc

View File

@ -0,0 +1,6 @@
# Enable use of the linux-yocto 5.15 kernel for the Raspberry Pi 4
KBRANCH:raspberrypi4-64 ?= "v5.15/standard/bcm-2xxx-rpi"
KMACHINE:raspberrypi4-64 ?= "bcm-2xxx-rpi4"
COMPATIBLE_MACHINE:raspberrypi4-64 = "(raspberrypi4-64)"
require linux-yocto_xen-rpi.inc