1  { config, lib, pkgs, modulesPath, ... }:
 2  
 3  {
 4    imports =
 5      [ (modulesPath + "/installer/scan/not-detected.nix")
 6      ];
 7  
 8    boot.initrd.availableKernelModules = [ "xhci_pci" "nvme" "usb_storage" "uas" "sd_mod" ];
 9    boot.initrd.kernelModules = [ ];
10    boot.kernelModules = [ "kvm-intel" ];
11    boot.extraModulePackages = [ ];
12  
13    # FAKE
14    fileSystems."/" = lib.mkDefault
15      { device = "/dev/sda1";
16      fsType = "ext4";
17    };
18  
19    # swapDevices = [ ];
20  
21    # Enables DHCP on each ethernet and wireless interface. In case of scripted networking
22    # (the default) this is the recommended approach. When using systemd-networkd it's
23    # still possible to use this option, but it's recommended to use it in conjunction
24    # with explicit per-interface declarations with `networking.interfaces.<interface>.useDHCP`.
25    networking.useDHCP = lib.mkDefault true;
26    # networking.interfaces.enp0s31f6.useDHCP = lib.mkDefault true;
27    # networking.interfaces.wlp3s0.useDHCP = lib.mkDefault true;
28  
29    nixpkgs.hostPlatform = lib.mkDefault "x86_64-linux";
30    hardware.cpu.intel.updateMicrocode = lib.mkDefault config.hardware.enableRedistributableFirmware;
31  }