about summary refs log tree commit diff stats
path: root/system/boot
diff options
context:
space:
mode:
Diffstat (limited to 'system/boot')
-rw-r--r--system/boot/boot.nix28
-rwxr-xr-xsystem/boot/boot_pictures/gnu.pngbin0 -> 327518 bytes
-rwxr-xr-xsystem/boot/boot_pictures/gnulin_emb_1.pngbin0 -> 207444 bytes
-rwxr-xr-xsystem/boot/boot_pictures/gnulin_emb_2.pngbin0 -> 208347 bytes
4 files changed, 28 insertions, 0 deletions
diff --git a/system/boot/boot.nix b/system/boot/boot.nix
new file mode 100644
index 00000000..629e63ae
--- /dev/null
+++ b/system/boot/boot.nix
@@ -0,0 +1,28 @@
+{
+  config,
+  pkgs,
+  ...
+}: {
+  boot = {
+    initrd = {
+      compressor = "lz4";
+      compressorArgs = ["-9"];
+    };
+
+    kernelPackages = pkgs.linuxPackages_latest;
+    loader = {
+      grub = {
+        enable = true;
+        version = 2;
+        theme = pkgs.nixos-grub2-theme;
+        splashImage = ./boot_pictures/gnu.png;
+        efiSupport = true;
+        device = "nodev"; # only for efi
+      };
+      efi = {
+        canTouchEfiVariables = true;
+        efiSysMountPoint = "/boot";
+      };
+    };
+  };
+}
diff --git a/system/boot/boot_pictures/gnu.png b/system/boot/boot_pictures/gnu.png
new file mode 100755
index 00000000..d07dee3e
--- /dev/null
+++ b/system/boot/boot_pictures/gnu.png
Binary files differdiff --git a/system/boot/boot_pictures/gnulin_emb_1.png b/system/boot/boot_pictures/gnulin_emb_1.png
new file mode 100755
index 00000000..483f2681
--- /dev/null
+++ b/system/boot/boot_pictures/gnulin_emb_1.png
Binary files differdiff --git a/system/boot/boot_pictures/gnulin_emb_2.png b/system/boot/boot_pictures/gnulin_emb_2.png
new file mode 100755
index 00000000..48cd6ad7
--- /dev/null
+++ b/system/boot/boot_pictures/gnulin_emb_2.png
Binary files differ