Hendrik Sokolowski
0daf30fe09
All checks were successful
continuous-integration/drone/push Build is passing
55 lines
1.5 KiB
Nix
55 lines
1.5 KiB
Nix
{ config, pkgs, lib, ... }:
|
|
|
|
{
|
|
# Use the GRUB 2 boot loader.
|
|
boot.loader.systemd-boot.enable = false;
|
|
boot.loader.grub.enable = true;
|
|
boot.loader.grub.version = 2;
|
|
# boot.loader.grub.efiSupport = true;
|
|
# boot.loader.grub.efiInstallAsRemovable = true;
|
|
# boot.loader.efi.efiSysMountPoint = "/boot/efi";
|
|
# Define on which hard drive you want to install Grub.
|
|
boot.loader.grub.device = "/dev/sda"; # or "nodev" for efi only
|
|
|
|
boot.initrd.availableKernelModules = [ "ahci" "xhci_pci" "virtio_pci" "sd_mod" "sr_mod" ];
|
|
boot.initrd.kernelModules = [ "dm-snapshot" ];
|
|
boot.kernelModules = [ "kvm-intel" ];
|
|
boot.extraModulePackages = [ ];
|
|
|
|
boot.initrd.luks.devices."cryptroot" = {
|
|
device = "/dev/disk/by-uuid/531ee357-5777-498f-abbf-64bb4cff9a14";
|
|
};
|
|
|
|
fileSystems."/" =
|
|
{ device = "/dev/disk/by-uuid/f5b3152a-a3bd-46d1-968f-53d50fca921e";
|
|
fsType = "ext4";
|
|
};
|
|
|
|
fileSystems."/boot" =
|
|
{ device = "/dev/disk/by-uuid/1fd053f8-725b-418d-aed1-aee71dac2b62";
|
|
fsType = "ext4";
|
|
};
|
|
|
|
swapDevices =
|
|
[ { device = "/dev/disk/by-uuid/46191ecf-244c-4445-b1c0-ae3059871a70"; }
|
|
];
|
|
|
|
networking = {
|
|
defaultGateway = "80.244.242.1";
|
|
|
|
nameservers = ["95.129.51.51" "80.244.244.244"];
|
|
|
|
interfaces."enp1s0" = {
|
|
ipv4.addresses = [
|
|
{
|
|
address = "80.244.242.4";
|
|
prefixLength = 29;
|
|
}
|
|
];
|
|
};
|
|
};
|
|
|
|
nixpkgs.hostPlatform = lib.mkDefault "x86_64-linux";
|
|
hardware.cpu.intel.updateMicrocode = lib.mkDefault config.hardware.enableRedistributableFirmware;
|
|
}
|