mirror of
git://git.yoctoproject.org/meta-virtualization.git
synced 2025-07-19 20:59:41 +02:00
xen, raspberry pi: replace linux-yocto-dev with linux-yocto 5.15
The default preferred Linux kernel for Xen on the Raspberry Pi 4 is linux-yocto. The alternative provided option is linux-yocto-dev, but this is unintentionally a branch tracking configuration rather than a fixed revision. 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:
parent
55bf71938e
commit
8e8f59d007
|
@ -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
|
|
|
@ -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
|
Loading…
Reference in New Issue
Block a user