diff options
Diffstat (limited to 'system/boot')
-rwxr-xr-x | system/boot/boot_pictures/gnu.png | bin | 327518 -> 0 bytes | |||
-rwxr-xr-x | system/boot/boot_pictures/gnulin_emb_1.png | bin | 207444 -> 0 bytes | |||
-rwxr-xr-x | system/boot/boot_pictures/gnulin_emb_2.png | bin | 208347 -> 0 bytes | |||
-rw-r--r-- | system/boot/default.nix | 41 |
4 files changed, 0 insertions, 41 deletions
diff --git a/system/boot/boot_pictures/gnu.png b/system/boot/boot_pictures/gnu.png deleted file mode 100755 index d07dee3e..00000000 --- a/system/boot/boot_pictures/gnu.png +++ /dev/null Binary files differdiff --git a/system/boot/boot_pictures/gnulin_emb_1.png b/system/boot/boot_pictures/gnulin_emb_1.png deleted file mode 100755 index 483f2681..00000000 --- a/system/boot/boot_pictures/gnulin_emb_1.png +++ /dev/null Binary files differdiff --git a/system/boot/boot_pictures/gnulin_emb_2.png b/system/boot/boot_pictures/gnulin_emb_2.png deleted file mode 100755 index 48cd6ad7..00000000 --- a/system/boot/boot_pictures/gnulin_emb_2.png +++ /dev/null Binary files differdiff --git a/system/boot/default.nix b/system/boot/default.nix deleted file mode 100644 index 9606c7b3..00000000 --- a/system/boot/default.nix +++ /dev/null @@ -1,41 +0,0 @@ -{ - pkgs, - lib, - ... -}: { - boot = { - initrd = { - #compressor = "lz4"; - #compressorArgs = ["-9"]; - kernelModules = ["nvme" "btrfs"]; - }; - - kernelPackages = pkgs.linuxPackages_latest; - - lanzaboote = { - enable = true; - pkiBundle = "/etc/secureboot"; - }; - - loader = { - # Lanzaboote currently replaces the systemd-boot module. - # This setting is usually set to true in configuration.nix - # generated at installation time. So we force it to false - # for now. - systemd-boot.enable = lib.mkForce false; - - grub = { - enable = false; - # theme = pkgs.nixos-grub2-theme; - splashImage = ./boot_pictures/gnu.png; - efiSupport = true; - device = "nodev"; # only for efi - }; - - efi = { - canTouchEfiVariables = true; - efiSysMountPoint = "/boot"; - }; - }; - }; -} |