# Edit this configuration file to define what should be installed on # your system. Help is available in the configuration.nix(5) man page # and in the NixOS manual (accessible by running ‘nixos-help’). { config, pkgs, ... }: { imports = [ ./hardware-configuration.nix ]; boot.kernelPackages = pkgs.linuxKernel.packages.linux_6_0; # Use the systemd-boot EFI boot loader. boot.loader.systemd-boot.enable = true; boot.loader.efi.canTouchEfiVariables = true; networking.hostName = "ilex"; time.timeZone = "Europe/Amsterdam"; networking = { networkmanager.enable = true; useDHCP = false; interfaces = { enp1s0f0.useDHCP = true; }; }; system.stateVersion = "22.11"; services.tlp = { enable = true; settings = { START_CHARGE_THRESH_BAT0 = 75; STOP_CHARGE_THRESH_BAT0 = 80; PLATFORM_PROFILE_ON_AC = "performance"; PLATFORM_PROFILE_ON_BAT = "low-power"; CPU_SCALING_GOVERNOR_ON_AC = "performance"; CPU_SCALING_GOVERNOR_ON_BAT = "schedutil"; DEVICES_TO_ENABLE_ON_STARTUP = "wifi"; DEVICES_TO_DISABLE_ON_STARTUP = "bluetooth wwan"; DEVICES_TO_DISABLE_ON_LAN_CONNECT = "wifi"; DEVICES_TO_ENABLE_ON_LAN_DISCONNECT = "wifi"; WIFI_PWR_ON_AC = "off"; WIFI_PWR_ON_BAT = "on"; USB_AUTOSUSPEND = 1; USB_EXCLUDE_AUDIO = 1; }; }; }