From 75d32405c263dabdf63673e56036f15ff2bdc9a0 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Cyryl=20P=C5=82otnicki?= <cyplo@cyplo.net>
Date: Sun, 9 Feb 2020 09:39:21 +0000
Subject: [PATCH] Simpler kernel setup for foureighty

---
 nixos/boxes/foureighty.nix | 14 --------------
 1 file changed, 14 deletions(-)

diff --git a/nixos/boxes/foureighty.nix b/nixos/boxes/foureighty.nix
index 0b42b47d..e42a93d7 100644
--- a/nixos/boxes/foureighty.nix
+++ b/nixos/boxes/foureighty.nix
@@ -3,20 +3,6 @@
   networking.hostName = "foureighty";
 
   boot = {
-    kernelPackages = pkgs.linuxPackagesFor pkgs.linux_latest_hardened;
-    extraModulePackages = with config.boot.kernelPackages; [ wireguard ];
-
-    initrd.kernelModules = [ "i915" ];
-    initrd.availableKernelModules = [
-      "aes_x86_64"
-      "crypto_simd"
-      "aesni_intel"
-      "cryptd"
-    ];
-    kernelParams = [
-      "mds=full"
-    ];
-
     initrd.luks.devices = [
       {
         name = "root";