Switch to vendored kernel

3 years ago · 9a38906c19
2 changed files with 2 additions and 2 deletions
--- a/README.org
+++ b/README.org
@ -731,7 +731,7 @@ Deploy this configuration with ~sudo nixos-rebuild switch --flake /etc/dotfiles/
  #   inputs.nixos-hardware.nixosModules.raspberry-pi-4
  # ];

-  # boot.kernelPackages = pkgs.linuxPackages_rpi4;
+  boot.kernelPackages = pkgs.linuxPackages_rpi4;
  boot.tmpOnTmpfs = true;
  boot.initrd.availableKernelModules = [ "usbhid" "usb_storage" ];
  # boot.kernelParams = [
--- a/hosts/raspberry/hardware.nix
+++ b/hosts/raspberry/hardware.nix
@ -6,7 +6,7 @@
  #   inputs.nixos-hardware.nixosModules.raspberry-pi-4
  # ];

-  # boot.kernelPackages = pkgs.linuxPackages_rpi4;
+  boot.kernelPackages = pkgs.linuxPackages_rpi4;
  boot.tmpOnTmpfs = true;
  boot.initrd.availableKernelModules = [ "usbhid" "usb_storage" ];
  # boot.kernelParams = [