From 1523fc4f5dad9034861029471d8f897d6309dd32 Mon Sep 17 00:00:00 2001
From: Ingolf Wagner <contact@ingolf-wagner.de>
Date: Fri, 21 Jun 2024 20:18:11 +0200
Subject: [PATCH] hardened orbi kernel

---
 machines/orbi/hardware-configuration/hardware-configuration.nix | 1 +
 1 file changed, 1 insertion(+)

diff --git a/machines/orbi/hardware-configuration/hardware-configuration.nix b/machines/orbi/hardware-configuration/hardware-configuration.nix
index 2efd98b..842c19e 100644
--- a/machines/orbi/hardware-configuration/hardware-configuration.nix
+++ b/machines/orbi/hardware-configuration/hardware-configuration.nix
@@ -7,6 +7,7 @@
   imports =
     [
       (modulesPath + "/installer/scan/not-detected.nix")
+      (modulesPath + "/profiles/hardened.nix")
     ];
 
   boot.initrd.availableKernelModules = [ "xhci_pci" "usbhid" ];