From 7f4925f7151892b21709e2a3d17ccc8c0cfc7986 Mon Sep 17 00:00:00 2001
From: Henri Dohmen <henri.dohmen@stud.tu-darmstadt.de>
Date: Thu, 27 Mar 2025 00:00:05 +0100
Subject: [PATCH] update nixpkgs + kernel 6.13

---
 Makefile     | 1 -
 flake.lock   | 6 +++---
 mod/boot.nix | 4 +++-
 3 files changed, 6 insertions(+), 5 deletions(-)

diff --git a/Makefile b/Makefile
index fcef0de..e286cd2 100644
--- a/Makefile
+++ b/Makefile
@@ -19,4 +19,3 @@ _switch_%:
 		false; \
 	fi
 	nixos-rebuild switch --flake .#$*
-
diff --git a/flake.lock b/flake.lock
index f7b02fa..a691adf 100644
--- a/flake.lock
+++ b/flake.lock
@@ -2,11 +2,11 @@
   "nodes": {
     "nixpkgs": {
       "locked": {
-        "lastModified": 1742069588,
-        "narHash": "sha256-C7jVfohcGzdZRF6DO+ybyG/sqpo1h6bZi9T56sxLy+k=",
+        "lastModified": 1742889210,
+        "narHash": "sha256-hw63HnwnqU3ZQfsMclLhMvOezpM7RSB0dMAtD5/sOiw=",
         "owner": "NixOS",
         "repo": "nixpkgs",
-        "rev": "c80f6a7e10b39afcc1894e02ef785b1ad0b0d7e5",
+        "rev": "698214a32beb4f4c8e3942372c694f40848b360d",
         "type": "github"
       },
       "original": {
diff --git a/mod/boot.nix b/mod/boot.nix
index 3060ab1..1d753d5 100644
--- a/mod/boot.nix
+++ b/mod/boot.nix
@@ -1,4 +1,4 @@
-{ ... }:
+{ pkgs, ... }:
 {
   boot.loader = {
     efi.canTouchEfiVariables = true;
@@ -8,4 +8,6 @@
       device = "nodev";
     };
   };
+
+  boot.kernelPackages = pkgs.linuxPackages_6_13;
 }