os/hosts/host_001_momo_koeln/hardware-configuration.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" "dm-snapshot"];
  boot.initrd.kernelModules = [];
  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/967d1933-131d-4b56-8aa9-15c11ff940c9";}
  ];

  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;
}