From 77baf03496699b091de60eeb12c997f472978180 Mon Sep 17 00:00:00 2001 From: colin Date: Sun, 6 Nov 2022 05:27:04 -0800 Subject: [PATCH] Revert "servo: don't ship custom linux kernel packages anymore" This reverts commit 12b5e68b256384f30cdd6967bcfd31c5d9e0c111. --- machines/servo/hardware.nix | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/machines/servo/hardware.nix b/machines/servo/hardware.nix index 8d8c487b..ddb445d7 100644 --- a/machines/servo/hardware.nix +++ b/machines/servo/hardware.nix @@ -3,6 +3,12 @@ { pkgs, ... }: { + # i changed this becuse linux 5.10 didn't have rpi-400 device tree blob. + # nixos-22.05 linux 5.15 DOES have these now. + # it should be possible to remove this if desired, but i'm not sure how the rpi-specific kernel differs. + # see: https://github.com/raspberrypi/linux + boot.kernelPackages = pkgs.linuxPackages_rpi4; + # raspberryPi boot loader creates extlinux.conf. # otherwise, enable the generic-extlinux-compatible loader below. # note: THESE ARE MUTUALLY EXCLUSIVE. generic-extlinux-compatible causes uboot to not be built