From 9a38906c19c0d613dd29746cd5a836370ad3f169 Mon Sep 17 00:00:00 2001
From: Christopher James Hayward <chris@chrishayward.xyz>
Date: Sat, 19 Jun 2021 10:28:18 -0400
Subject: [PATCH] Switch to vendored kernel

---
 README.org                   | 2 +-
 hosts/raspberry/hardware.nix | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/README.org b/README.org
index 74cfcb2..a535940 100644
--- 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 = [
diff --git a/hosts/raspberry/hardware.nix b/hosts/raspberry/hardware.nix
index 251a047..3209312 100644
--- 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 = [