summaryrefslogtreecommitdiff
path: root/nixos/hardware
diff options
context:
space:
mode:
Diffstat (limited to 'nixos/hardware')
-rw-r--r--nixos/hardware/default.nix26
-rw-r--r--nixos/hardware/hardware-configuration.nix46
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;
+}