This repository has been archived on 2023-07-23. You can view files and clone it, but cannot push or open issues or pull requests.
gpd-configurations/hardware-configuration.nix

95 lines
2.4 KiB
Nix
Raw Normal View History

2023-06-25 12:23:56 +00: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.
{ config, lib, pkgs, modulesPath, ... }:
{
2023-07-04 08:53:01 +00:00
imports = [
(modulesPath + "/installer/scan/not-detected.nix")
];
2023-06-25 12:23:56 +00:00
2023-06-27 09:37:45 +00:00
2023-07-04 08:53:01 +00:00
boot = {
2023-07-22 10:51:13 +00:00
tmp.cleanOnBoot = true;
2023-07-04 08:53:01 +00:00
plymouth.enable = true;
# Use xanmod kernel
kernelPackages = pkgs.linuxPackages_xanmod_latest;
kernelParams = [ "quiet" ];
kernelModules = [ "kvm-intel" ];
consoleLogLevel = 0;
2023-06-27 13:55:34 +00:00
2023-07-04 08:53:01 +00:00
kernel.sysctl = {
# for ryujinx
"vm.max_map_count" = 524288;
2023-06-27 09:37:45 +00:00
};
2023-06-25 12:23:56 +00:00
2023-07-04 08:53:01 +00:00
initrd = {
2023-07-20 10:08:01 +00:00
verbose = false;
2023-07-04 08:53:01 +00:00
availableKernelModules = [
"xhci_pci"
"ahci"
"nvme"
"usb_storage"
"usbhid"
"sd_mod"
2023-07-20 10:08:01 +00:00
"i915"
2023-07-04 08:53:01 +00:00
];
2023-06-25 12:23:56 +00:00
};
2023-07-04 08:53:01 +00:00
loader = {
efi.canTouchEfiVariables = true;
grub = {
configurationLimit = 10;
efiSupport = true;
device = "nodev";
mirroredBoots = [
{
devices = [ "nodev" ];
path = "/boot";
}
];
};
2023-06-25 12:23:56 +00:00
};
2023-07-04 08:53:01 +00:00
};
fileSystems."/boot" = {
device = "/dev/disk/by-uuid/8095-BE1B";
fsType = "vfat";
2023-07-20 10:08:01 +00:00
options = [ "discard" ];
2023-07-04 08:53:01 +00:00
};
fileSystems."/nix" = {
device = "/dev/disk/by-uuid/d2fac87e-ce48-174a-a544-36606fd39ee0";
fsType = "ext4";
2023-07-20 10:08:01 +00:00
options = [ "discard" ];
2023-07-04 08:53:01 +00:00
};
fileSystems."/home" = {
device = "/dev/disk/by-uuid/4125f3b3-7613-a04b-910c-87169a7a87b3";
fsType = "ext4";
2023-07-20 10:08:01 +00:00
options = [ "discard" ];
2023-07-04 08:53:01 +00:00
};
2023-06-25 12:23:56 +00:00
2023-07-04 08:53:01 +00:00
swapDevices = [
2023-07-20 10:08:01 +00:00
{
device = "/dev/nvme0n1p2";
options = [ "discard" ];
}
2023-07-04 08:53:01 +00:00
];
2023-06-25 12:23:56 +00:00
2023-07-04 08:53:01 +00: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.eth0.useDHCP = lib.mkDefault true;
# networking.interfaces.wlan0.useDHCP = lib.mkDefault true;
2023-06-25 12:23:56 +00:00
2023-07-04 08:53:01 +00:00
nixpkgs.hostPlatform = lib.mkDefault "x86_64-linux";
powerManagement.cpuFreqGovernor = lib.mkDefault "ondemand";
hardware.cpu.intel.updateMicrocode = lib.mkDefault config.hardware.enableRedistributableFirmware;
hardware.bluetooth.enable = true;
}