{ inputs, config, lib, pkgs, modulesPath, ... }: { imports = [ inputs.hardware.nixosModules.common-pc-ssd inputs.hardware.nixosModules.common-pc # uses mkDefault to set to a patched kernel, # but it conflicts with one of our mkDefault settings #inputs.hardware.nixosModules.raspberry-pi-4 (modulesPath + "/installer/scan/not-detected.nix") ]; # use better power management for a device that's always on powerManagement.cpuFreqGovernor = lib.mkDefault "ondemand"; boot.initrd.availableKernelModules = [ "xhci_pci" "ehci_pci" "ahci" "usbhid" "usb_storage" "sd_mod" "sdhci_pci" ]; boot.initrd.kernelModules = [ ]; boot.kernelModules = [ ]; boot.extraModulePackages = [ ]; # for some god forsaken reason, generic-extlinux-compatible doesn't disable grub like systemd-boot does boot.loader.grub.enable = false; boot.loader.generic-extlinux-compatible.enable = true; fileSystems."/" = { device = "/dev/disk/by-uuid/44444444-4444-4444-8888-888888888888"; fsType = "ext4"; options = [ "noatime" "nodiratime" "discard" ]; }; # 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.end0.useDHCP = lib.mkDefault true; # networking.interfaces.wlan0.useDHCP = lib.mkDefault true; nixpkgs.hostPlatform = lib.mkDefault "aarch64-linux"; }