hosts/IDOHVE/hardware/boot.nix


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32

{
  config,
  pkgs,
  ...
}: {
  boot = {
    initrd = {
      compressor = "lz4";
      compressorArgs = ["-9"];

      # TODO check this:
      availableKernelModules = ["xhci_pci" "nvme" "rtsx_pci_sdmmc"];
    };

    kernelModules = ["kvm-amd"];
    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";
      };
    };
  };
}