linux/RPi: switch to vendor kernel, linux-4.9.80

2025-07-24 11:16:51 +00:00 · 2018-03-24 21:21:12 +00:00 · 2018-03-24 21:21:12 +00:00 · c1bcdb5728
commit c1bcdb5728
parent 5b67d0cbd6
3 changed files with 2 additions and 370620 deletions
--- a/packages/linux/package.mk
+++ b/packages/linux/package.mk
@ -59,8 +59,8 @@ case "$LINUX" in
    PKG_DEPENDS_TARGET="$PKG_DEPENDS_TARGET imx6-status-led imx6-soc-fan irqbalanced"
    ;;
  default-rpi)
-    PKG_VERSION="4.9.59"
-    PKG_URL="http://www.kernel.org/pub/linux/kernel/v4.x/$PKG_NAME-$PKG_VERSION.tar.xz"
+    PKG_VERSION="be97febf4aa42b1d019ad24e7948739da8557f66" #4.9.80
+    PKG_URL="https://github.com/raspberrypi/linux/archive/$PKG_VERSION.tar.gz"
    PKG_PATCH_DIRS="default-rpi"
    ;;
  *)
--- a/projects/RPi/patches/linux/linux-01-RPi_support.patch
+++ b/projects/RPi/patches/linux/linux-01-RPi_support.patch
--- a/projects/RPi2/patches/linux/linux-01-RPi_support.patch
+++ b/projects/RPi2/patches/linux/linux-01-RPi_support.patch