From 91d9088490c75bb823ee86a57e63a228ef643c1e Mon Sep 17 00:00:00 2001
From: Christopher James Hayward <chris@chrishayward.xyz>
Date: Sat, 19 Jun 2021 14:53:40 -0400
Subject: [PATCH] Try RPI kernel, again

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

diff --git a/README.org b/README.org
index 245015e..a711344 100644
--- a/README.org
+++ b/README.org
@@ -680,7 +680,7 @@ This section is very much a work in progress. I have struggled to get this devic
     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 e97b545..90a6b74 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 = [