From 7148a0664ae6cddaddca3f337e7ada6899d44f24 Mon Sep 17 00:00:00 2001 From: Christopher Clark Date: Sat, 21 May 2022 12:04:43 -0700 Subject: linux-yocto-dev, xen, raspberrypi: remove tracking bbappend 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, which has been tested and verified working on the board. Signed-off-by: Christopher Clark Signed-off-by: Bruce Ashfield --- .../raspberrypi/recipes-kernel/linux/linux-yocto-dev.bbappend | 8 -------- 1 file changed, 8 deletions(-) delete mode 100644 dynamic-layers/raspberrypi/recipes-kernel/linux/linux-yocto-dev.bbappend diff --git a/dynamic-layers/raspberrypi/recipes-kernel/linux/linux-yocto-dev.bbappend b/dynamic-layers/raspberrypi/recipes-kernel/linux/linux-yocto-dev.bbappend deleted file mode 100644 index 5f430522..00000000 --- a/dynamic-layers/raspberrypi/recipes-kernel/linux/linux-yocto-dev.bbappend +++ /dev/null @@ -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 -- cgit v1.2.3-54-g00ecf