Commit 79317a1d authored by Ratchanan Srirattanamet's avatar Ratchanan Srirattanamet
Browse files

linux_rpi: 6.12.47-stable_20250916 -> 6.12.62-1+rpt1 

Yeah... Raspberry Pi folks stop tagging raspberrypi/linux GitHub repo
again. And this time they don't tag raspberrypi/firmware either. So, I
switched my reference point to Raspberry Pi OS, which publishes their
packaging for Linux kernel in RPi-Distro/linux-packaging.

The version is set to Debian packaging's version, and the commit comes
from the changelog entry for that version.
parent 13860eee

pkgs/os-specific/linux/kernel/linux-rpi.nix

+6 −5
Original line number Diff line number Diff line
@@ -9,22 +9,23 @@ 


let

  # NOTE: raspberrypifw & raspberryPiWirelessFirmware should be updated with this

  modDirVersion = "6.12.47";

  tag = "stable_20250916";

  hash = "sha256-HG8Oc04V2t54l0SOn4gKmNJWQUrZfjWusgKcWvx74H0==";

  modDirVersion = "6.12.62";

  hash = "sha256-jcSzPoCCnmZU1GDBUWAljIUjZRzbfdh2aQB9/GOc5mQ=";

in

lib.overrideDerivation

  (buildLinux (

    args

    // {

      version = "${modDirVersion}-${tag}";

      version = "${modDirVersion}-1+rpt1";

      inherit modDirVersion;

      pname = "linux-rpi";



      src = fetchFromGitHub {

        owner = "raspberrypi";

        repo = "linux";

        inherit tag hash;

        # https://github.com/RPi-Distro/linux-packaging/raw/refs/tags/pios/1%256.12.62-1+rpt1/debian/changelog

        rev = "a1073743767f9e7fdc7017ababd2a07ea0c97c1c";

        inherit hash;

      };



      defconfig =