From 6adfd3a5e177a8cb395eeaf6fbdfc62ea895c399 Mon Sep 17 00:00:00 2001 From: Igor Pecovnik Date: Thu, 20 Feb 2025 07:31:00 +0100 Subject: [PATCH] Raspberry PI: move EDGE kernel from 6.14 to 6.13 as it doesn't build --- config/sources/families/bcm2711.conf | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/config/sources/families/bcm2711.conf b/config/sources/families/bcm2711.conf index 9a42677e79be..b9faa0d11d0d 100644 --- a/config/sources/families/bcm2711.conf +++ b/config/sources/families/bcm2711.conf @@ -37,8 +37,8 @@ case "${BRANCH}" in edge) declare -g EXTRAWIFI="no" declare -g KERNELSOURCE='https://github.com/raspberrypi/linux' - declare -g KERNEL_MAJOR_MINOR="6.14" # Major and minor versions of this kernel. For mainline caching. - declare -g KERNELBRANCH="branch:rpi-6.14.y" + declare -g KERNEL_MAJOR_MINOR="6.13" # Major and minor versions of this kernel. For mainline caching. + declare -g KERNELBRANCH="branch:rpi-6.13.y" ;; esac