From 9b8051f0a5438ac3cba18c8403d4e72262aee8ef Mon Sep 17 00:00:00 2001
From: Stefan Junker <mail@stefanjunker.de>
Date: Wed, 25 Nov 2020 21:52:20 +0100
Subject: [PATCH] profiles/common: don't use latest kernel

---
 nix/os/profiles/common/boot.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/nix/os/profiles/common/boot.nix b/nix/os/profiles/common/boot.nix
index 3d035cc..3d2d00c 100644
--- a/nix/os/profiles/common/boot.nix
+++ b/nix/os/profiles/common/boot.nix
@@ -3,7 +3,7 @@
 }:
 
 {
-  boot.kernelPackages = pkgs.linuxPackages_latest;
+  boot.kernelPackages = pkgs.linuxPackages;
   boot.loader.grub = {
     efiSupport = true;
     efiInstallAsRemovable = false;