From 527ccdd1270a4f30b5193b193e4d3785e0e02498 Mon Sep 17 00:00:00 2001
From: "Dr. Jonathan Berrisch" <Jonathan@Berrisch.biz>
Date: Fri, 2 Oct 2026 16:31:10 +0200
Subject: [PATCH] Fix `modprobe: FATAL: Module dw-hdmi not found in directory`

---
 configuration.nix | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/configuration.nix b/configuration.nix
index 4e654e4..cfa381a 100644
--- a/configuration.nix
+++ b/configuration.nix
@@ -1,6 +1,8 @@
-_: {
+{ lib, ... }: {
   hardware.raspberry-pi.firmware.enable = true;
   hardware.enableRedistributableFirmware = true;
+  hardware.enableAllHardware = lib.mkForce false;
+  boot.initrd.availableKernelModules."tpm-crb" = lib.mkForce false;
 
   # Enable the OpenSSH daemon
   services.openssh = {