aboutsummaryrefslogtreecommitdiffstats
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 differ
diff --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 differ
diff --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