diff options
Diffstat (limited to 'nixos/hardware')
| -rw-r--r-- | nixos/hardware/default.nix | 26 | ||||
| -rw-r--r-- | nixos/hardware/hardware-configuration.nix | 46 |
2 files changed, 72 insertions, 0 deletions
diff --git a/nixos/hardware/default.nix b/nixos/hardware/default.nix new file mode 100644 index 0000000..0e8dc15 --- /dev/null +++ b/nixos/hardware/default.nix @@ -0,0 +1,26 @@ +{ nixos-hardware, ... }: + +{ + imports = [ # Include the results of the hardware scan. + ./hardware-configuration.nix + + # Community-curated hardware configuration + nixos-hardware.nixosModules.dell-latitude-7490 + nixos-hardware.nixosModules.common-pc-ssd + ]; + + personal.hardware = { + usb.enable = true; + disks.crypted = "/dev/disk/by-uuid/ba5dc9cd-3a73-4a01-880b-8720844307ae"; + firmwareNonFree.enable = true; + keyboard.keyMap = "fr"; + backlights = { + screen = "intel_backlight"; + keyboard = "dell::kbd_backlight"; + }; + sound.enable = true; + }; + + # faulty Intel CPU + boot.kernelParams = [ "i915.dc_enable=0" "intel_idle.max_cstate=1" ]; +} diff --git a/nixos/hardware/hardware-configuration.nix b/nixos/hardware/hardware-configuration.nix new file mode 100644 index 0000000..77f7942 --- /dev/null +++ b/nixos/hardware/hardware-configuration.nix @@ -0,0 +1,46 @@ +# 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. +{ config, lib, pkgs, modulesPath, ... }: + +{ + imports = [ (modulesPath + "/installer/scan/not-detected.nix") ]; + + boot.initrd.availableKernelModules = + [ "xhci_pci" "ahci" "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."/boot" = { + device = "/dev/disk/by-uuid/330B-45DE"; + fsType = "vfat"; + }; + + fileSystems."/home" = { + device = "/dev/disk/by-uuid/8a6efcde-2361-40d5-a341-62188c014618"; + fsType = "ext4"; + }; + + swapDevices = + [{ device = "/dev/disk/by-uuid/0cf1b50c-670c-4dc6-bb91-fc45d6148028"; }]; + + # 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.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; +} |
