summaryrefslogtreecommitdiff
path: root/nixos/hardware/hardware-configuration.nix
diff options
context:
space:
mode:
authorQuentin Aristote <aristote@irif.fr>2023-03-13 17:19:38 +0000
committerqaristote <quentin.aristote@ens.fr>2023-03-14 11:42:17 +0100
commit0aaf800eee5f51a78c5cda662de1834b1e02b351 (patch)
tree2687a482ceca6cf95ee5df1773626eccccd1b797 /nixos/hardware/hardware-configuration.nix
parentc0d8c7ecd8b7dec6edb241b8ef3b93e7c9c330a5 (diff)
inital commit
Diffstat (limited to 'nixos/hardware/hardware-configuration.nix')
-rw-r--r--nixos/hardware/hardware-configuration.nix36
1 files changed, 15 insertions, 21 deletions
diff --git a/nixos/hardware/hardware-configuration.nix b/nixos/hardware/hardware-configuration.nix
index 77f7942..e264459 100644
--- a/nixos/hardware/hardware-configuration.nix
+++ b/nixos/hardware/hardware-configuration.nix
@@ -4,31 +4,28 @@
{ config, lib, pkgs, modulesPath, ... }:
{
- imports = [ (modulesPath + "/installer/scan/not-detected.nix") ];
+ imports =
+ [ (modulesPath + "/installer/scan/not-detected.nix")
+ ];
- boot.initrd.availableKernelModules =
- [ "xhci_pci" "ahci" "sd_mod" "rtsx_pci_sdmmc" ];
+ boot.initrd.availableKernelModules = [ "xhci_pci" "ahci" "usb_storage" "sd_mod" "rtsx_pci_sdmmc" ];
boot.initrd.kernelModules = [ "dm-snapshot" ];
boot.kernelModules = [ "kvm-intel" ];
boot.extraModulePackages = [ ];
- fileSystems."/" = {
- device = "/dev/disk/by-uuid/f5809224-8478-474f-b25d-dde1ada37957";
- fsType = "ext4";
- };
+ fileSystems."/" =
+ { device = "/dev/disk/by-uuid/c08fcfed-a250-4cda-b1d7-9483ea7b3136";
+ fsType = "ext4";
+ };
- fileSystems."/boot" = {
- device = "/dev/disk/by-uuid/330B-45DE";
- fsType = "vfat";
- };
-
- fileSystems."/home" = {
- device = "/dev/disk/by-uuid/8a6efcde-2361-40d5-a341-62188c014618";
- fsType = "ext4";
- };
+ fileSystems."/boot" =
+ { device = "/dev/disk/by-uuid/5C58-7F16";
+ fsType = "vfat";
+ };
swapDevices =
- [{ device = "/dev/disk/by-uuid/0cf1b50c-670c-4dc6-bb91-fc45d6148028"; }];
+ [ { device = "/dev/disk/by-uuid/cc2b2f1e-1c41-4b3e-9432-81f75d40a892"; }
+ ];
# 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
@@ -36,11 +33,8 @@
# with explicit per-interface declarations with `networking.interfaces.<interface>.useDHCP`.
networking.useDHCP = lib.mkDefault true;
# networking.interfaces.enp0s31f6.useDHCP = lib.mkDefault true;
- # networking.interfaces.tun0.useDHCP = lib.mkDefault true;
# networking.interfaces.wlp2s0.useDHCP = lib.mkDefault true;
- nixpkgs.hostPlatform = lib.mkDefault "x86_64-linux";
powerManagement.cpuFreqGovernor = lib.mkDefault "powersave";
- hardware.cpu.intel.updateMicrocode =
- lib.mkDefault config.hardware.enableRedistributableFirmware;
+ hardware.cpu.intel.updateMicrocode = lib.mkDefault config.hardware.enableRedistributableFirmware;
}