raspberry-pi: move kernel and firmware from nixpkgs

As part of the gradual phasing out of linux_rpi in nixpkgs

Link: https://github.com/NixOS/nixpkgs/pull/477665

Signed-off-by: Cryolitia PukNgae <Cryolitia@gmail.com>
This commit is contained in:
Cryolitia PukNgae 2026-01-18 14:39:02 +08:00
parent cce68f4a54
commit c8f766fd11
6 changed files with 209 additions and 12 deletions

View file

@ -3,7 +3,13 @@
{
boot = {
consoleLogLevel = lib.mkDefault 7;
kernelPackages = lib.mkDefault pkgs.linuxPackages_rpi2;
kernelPackages = lib.mkDefault (
pkgs.linuxPackagesFor (
pkgs.callPackage ../common/kernel.nix {
rpiVersion = 2;
}
)
);
kernelParams = [
"dwc_otg.lpm_enable=0"
"console=ttyAMA0,115200"
@ -17,7 +23,7 @@
};
};
nixpkgs.config.platform = lib.systems.platforms.raspberrypi2;
nixpkgs.config.platform = lib.systems.platforms.armv7l-hf-multiplatform;
# cpufrequtils doesn't build on ARM
powerManagement.enable = lib.mkDefault false;