From 79649965c5f00f1a13c0517625828f3df0f50f47 Mon Sep 17 00:00:00 2001
From: Jairo Llopis <jairo@moduon.team>
Date: Sat, 2 Aug 2025 13:16:10 +0100
Subject: [PATCH] fix(raspberry-pi-4): enable building kernel

Fixes https://github.com/NixOS/nixos-hardware/issues/858
---
 raspberry-pi/4/default.nix | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/raspberry-pi/4/default.nix b/raspberry-pi/4/default.nix
index e02ba0b3f..d862a2e77 100644
--- a/raspberry-pi/4/default.nix
+++ b/raspberry-pi/4/default.nix
@@ -37,6 +37,9 @@
       "reset-raspberrypi" # required for vl805 firmware to load
     ];
 
+    # Allow building kernel
+    initrd.systemd.tpm2.enable = false;
+
     loader = {
       grub.enable = lib.mkDefault false;
       generic-extlinux-compatible.enable = lib.mkDefault true;