From ecddd3d06c1a18ad388666c24c2374cd508b8a20 Mon Sep 17 00:00:00 2001
From: Devin Finlinson <devin.finlinson@pm.me>
Date: Sat, 13 Jan 2024 10:34:34 -0700
Subject: format boot field like zenbook, use latest kernel

---
 machines/khad/configuration.nix | 11 ++++++++---
 1 file changed, 8 insertions(+), 3 deletions(-)

(limited to 'machines/khad')

diff --git a/machines/khad/configuration.nix b/machines/khad/configuration.nix
index 3f46f5f..1f9c187 100644
--- a/machines/khad/configuration.nix
+++ b/machines/khad/configuration.nix
@@ -10,9 +10,14 @@
       ./hardware-configuration.nix
     ];
 
-  # Bootloader.
-  boot.loader.systemd-boot.enable = true;
-  boot.loader.efi.canTouchEfiVariables = true;
+  # Use the systemd-boot EFI boot loader.
+  boot = {
+    loader = {
+      systemd-boot.enable = true;
+      efi.canTouchEfiVariables = true;
+    };
+    kernelPackages = pkgs.linuxPackages_latest; # use latest kernel
+  };
 
   networking.hostName = "khad"; # Define your hostname.
   # Pick only one of the below networking options.
-- 
cgit v1.2.3