diff options
Diffstat (limited to 'system/boot')
-rw-r--r-- | system/boot/boot.nix | 28 | ||||
-rwxr-xr-x | system/boot/boot_pictures/gnu.png | bin | 0 -> 327518 bytes | |||
-rwxr-xr-x | system/boot/boot_pictures/gnulin_emb_1.png | bin | 0 -> 207444 bytes | |||
-rwxr-xr-x | system/boot/boot_pictures/gnulin_emb_2.png | bin | 0 -> 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 |