From 2815f5bcfde32813fa324be885dbe38a6cca31d1 Mon Sep 17 00:00:00 2001
From: Rodrigo Arias Mallo <rodrigo.arias@bsc.es>
Date: Fri, 28 Apr 2023 11:50:43 +0200
Subject: [PATCH] Use the latest kernel

---
 common/boot.nix | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/common/boot.nix b/common/boot.nix
index a893e44..ca18e0e 100644
--- a/common/boot.nix
+++ b/common/boot.nix
@@ -1,4 +1,4 @@
-{ lib, ... }:
+{ lib, pkgs, ... }:
 
 {
   # Use the GRUB 2 boot loader.
@@ -18,6 +18,8 @@
     "console=ttyS0,115200"
   ];
 
+  boot.kernelPackages = pkgs.linuxPackages_latest;
+
   #boot.kernelPatches = lib.singleton {
   #  name = "osnoise-tracer";
   #  patch = null;