From 5b224e3f534c492a84f68b676cc3b8cd19bfe797 Mon Sep 17 00:00:00 2001
From: Timo Wilken
Date: Tue, 12 Dec 2023 00:41:51 +0100
Subject: Remove default kernel configuration

---
 tw/system/cern.scm | 2 --
 1 file changed, 2 deletions(-)

diff --git a/tw/system/cern.scm b/tw/system/cern.scm
index 6e1dea4c..bff49fce 100644
--- a/tw/system/cern.scm
+++ b/tw/system/cern.scm
@@ -62,8 +62,6 @@
          (device efi-system-partition)
          (chain-loader "/EFI/systemd/systemd-bootx64.efi"))))))
 
-    (kernel linux-libre)
-
     (swap-devices
      (list (swap-space
             (target swap-partition)
-- 
cgit v1.2.3