nix-server/hosts/server/hardware-configuration.nix

45 lines
1.5 KiB
Nix
Executable file

{ config, lib, pkgs, modulesPath, ... }:
{
imports =
[
(modulesPath + "/installer/scan/not-detected.nix")
];
boot = {
initrd.availableKernelModules = [ "xhci_pci" "usbhid" "usb_storage" ];
initrd.kernelModules = [ ];
kernelPackages = pkgs.linuxPackages_hardened;
# for some god awful reason, our HDMI output doesn't show
# init messages??? theres a workaround here though
#
# see: https://nixos.wiki/wiki/NixOS_on_ARM/Raspberry_Pi#Early_boot_messages
kernelModules = [ "vc4" "bcm2835_dma" "i2c_bcm2835" ];
loader = {
# zigglebop 👽
grub.enable = lib.mkForce false;
generic-extlinux-compatible.enable = true;
};
};
fileSystems = {
"/" = {
device = "/dev/disk/by-uuid/44444444-4444-4444-8888-888888888888";
fsType = "ext4";
};
};
swapDevices = [ ];
# 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.end0.useDHCP = lib.mkDefault true;
# networking.interfaces.wlan0.useDHCP = lib.mkDefault true;
nixpkgs.hostPlatform = lib.mkDefault "aarch64-linux";
powerManagement.cpuFreqGovernor = lib.mkDefault "ondemand";
}