From 7b63f7341463b6498e0e2c8e0608c8b8ceb49dec Mon Sep 17 00:00:00 2001
From: Tibo De Peuter <tibo.depeuter@gmail.com>
Date: Tue, 14 Nov 2023 21:17:35 +0100
Subject: [PATCH] Use specific Linux kernels

---
 nixos/hosts/Tibo-NixDesk/default.nix | 14 +++++++++-----
 nixos/hosts/Tibo-NixFat/default.nix  |  3 +++
 2 files changed, 12 insertions(+), 5 deletions(-)

diff --git a/nixos/hosts/Tibo-NixDesk/default.nix b/nixos/hosts/Tibo-NixDesk/default.nix
index 5eb7234..3890a88 100644
--- a/nixos/hosts/Tibo-NixDesk/default.nix
+++ b/nixos/hosts/Tibo-NixDesk/default.nix
@@ -35,11 +35,15 @@
     virtualisation.virtualbox.enable = true;
   };
 
-  boot.loader = {
-    systemd-boot.enable = true;
-    efi = {
-      canTouchEfiVariables = true;
-      efiSysMountPoint = "/boot/efi";
+  boot = {
+    kernelPackages = pkgs.linuxPackages_hardened;
+
+    loader = {
+      systemd-boot.enable = true;
+      efi = {
+        canTouchEfiVariables = true;
+        efiSysMountPoint = "/boot/efi";
+      };
     };
   };
 
diff --git a/nixos/hosts/Tibo-NixFat/default.nix b/nixos/hosts/Tibo-NixFat/default.nix
index c05381b..9cc516d 100644
--- a/nixos/hosts/Tibo-NixFat/default.nix
+++ b/nixos/hosts/Tibo-NixFat/default.nix
@@ -47,6 +47,8 @@
       };
     };
 
+    kernelPackages = pkgs.linuxPackages_hardened;
+
     # Use the systemd-boot EFI boot loader.]
     loader = {
       systemd-boot.enable = true;
@@ -66,6 +68,7 @@
   ];
 
   programs = {
+    steam.enable = true;
     zsh.enable = true;
   };