config-perso/machines/kat-probook/hardware-configuration.nix

56 lines
1.7 KiB
Nix
Raw Normal View History

2024-02-19 17:15:40 +01:00
# Do not modify this file! It was generated by nixos-generate-config
# and may be overwritten by future invocations. Please make changes
# to /etc/nixos/configuration.nix instead.
{
2024-05-14 19:21:19 +02:00
config,
lib,
pkgs,
modulesPath,
...
}:
2024-02-19 17:15:40 +01:00
2024-05-14 19:21:19 +02:00
{
imports = [ (modulesPath + "/installer/scan/not-detected.nix") ];
boot.initrd.availableKernelModules = [
"xhci_pci"
"vmd"
"nvme"
"usb_storage"
"sd_mod"
"rtsx_pci_sdmmc"
];
2024-02-19 17:15:40 +01:00
boot.initrd.kernelModules = [ ];
boot.kernelModules = [ "kvm-intel" ];
boot.extraModulePackages = [ ];
2024-05-14 19:21:19 +02:00
fileSystems."/" = {
device = "/dev/disk/by-uuid/4c1f76c6-5ce6-4987-b15e-9419627b7f19";
fsType = "bcachefs";
};
2024-02-19 17:15:40 +01:00
boot.initrd.luks.devices."dec-lin" = {
device = "/dev/disk/by-uuid/bba45bff-2356-4ec7-a20c-9cbf9d992822";
preLVM = true;
allowDiscards = true;
};
2024-05-14 19:21:19 +02:00
fileSystems."/boot" = {
device = "/dev/disk/by-uuid/4F30-BEC7";
fsType = "vfat";
};
2024-02-19 17:15:40 +01:00
2024-05-14 19:21:19 +02:00
swapDevices = [ { device = "/dev/disk/by-uuid/5edcb909-6109-4198-84c7-703cbd471b44"; } ];
2024-02-19 17:15:40 +01:00
# Enables DHCP on each ethernet and wireless interface. In case of scripted networking
# (the default) this is the recommended approach. When using systemd-networkd it's
# still possible to use this option, but it's recommended to use it in conjunction
# with explicit per-interface declarations with `networking.interfaces.<interface>.useDHCP`.
networking.useDHCP = lib.mkDefault true;
# networking.interfaces.enp2s0.useDHCP = lib.mkDefault true;
# networking.interfaces.wlp0s20f3.useDHCP = lib.mkDefault true;
nixpkgs.hostPlatform = lib.mkDefault "x86_64-linux";
hardware.cpu.intel.updateMicrocode = lib.mkDefault config.hardware.enableRedistributableFirmware;
}