Christopher Clark 590065c926 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>		2022-05-25 12:19:00 -04:00
..
linux-yocto_5.10.bbappend	xen, rpi4: Fix syntax in linux-yocto bbappend	2021-10-08 07:29:28 -04:00
linux-yocto_5.15.bbappend	xen, raspberry pi: replace linux-yocto-dev with linux-yocto 5.15	2022-05-25 12:19:00 -04:00
linux-yocto_xen-rpi.inc	xen, rpi4, linux-yocto: enable linux-yocto 5.10 for RPi4	2021-04-29 23:05:11 -04:00