# 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" "usbhid" "usb_storage" "uas" ]; boot.initrd.kernelModules = [ ]; boot.kernelModules = [ ]; boot.extraModulePackages = [ ]; boot.kernelPackages = pkgs.linuxPackages_6_1; boot.supportedFilesystems = [ ]; boot.loader.grub = { enable = true; efiSupport = true; efiInstallAsRemovable = true; device = "nodev"; }; boot.loader.efi.canTouchEfiVariables = false; boot.loader.systemd-boot.enable = false; boot.loader.generic-extlinux-compatible.enable = false; boot.loader.timeout = 0; boot.initrd.luks.devices."cryptroot" = { device = "/dev/disk/by-uuid/d86a20a6-686c-4bf8-bd3b-911901272742"; keyFile = "/dev/disk/by-id/usb-SanDisk_Cruzer_Blade_03024516121421043657-0:0-part1"; fallbackToPassword = true; bypassWorkqueues = true; }; fileSystems."/" = { device = "/dev/disk/by-uuid/6a419f58-bef1-4dd9-9b4f-389e35ba686a"; fsType = "ext4"; }; fileSystems."/boot" = { device = "/dev/disk/by-uuid/6CB3-6DB8"; fsType = "vfat"; }; swapDevices = [ { device = "/dev/disk/by-uuid/ea401985-e25f-4d13-8d72-5a5660c4384f"; } ]; # 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..useDHCP`. #networking.useDHCP = lib.mkDefault true; networking.interfaces.eth0.useDHCP = lib.mkDefault true; # networking.interfaces.wlan0.useDHCP = lib.mkDefault true; nixpkgs.hostPlatform = lib.mkDefault "aarch64-linux"; powerManagement.cpuFreqGovernor = lib.mkDefault "ondemand"; }