nixos/systems/raspi4/default.nix

51 lines
1.1 KiB
Nix

{ inputs, hostname, ip, pkgs, ... }:
{
imports = [
inputs.nixos-hardware.nixosModules.raspberry-pi-4
];
fileSystems = {
"/" = {
device = "/dev/disk/by-label/NIXOS_SD";
fsType = "ext4";
options = [ "noatime" ];
};
};
hardware.raspberry-pi."4".fkms-3d.enable = true;
hardware.raspberry-pi."4".audio.enable = true;
hardware.pulseaudio.enable = true;
documentation.enable = false;
documentation.nixos.enable = false;
programs.command-not-found.enable = false;
environment.systemPackages = with pkgs; [
raspberrypi-eeprom
];
networking = {
useDHCP = false;
hostName = hostname;
hosts = {
"127.0.0.1" = [ "${hostname}.2li.local" ];
ip = [ "${hostname}.2li.local" ];
};
defaultGateway = "10.7.89.1";
nameservers = [ "10.7.89.2" ];
interfaces.eth0.ipv4.addresses = [
{
address = ip;
prefixLength = 24;
}
];
};
environment.shellAliases = {
raspi-firmware-update = ''
sudo mount /dev/disk/by-label/FIRMWARE /mnt && \
BOOTFS=/mnt FIRMWARE_RELEASE_STATUS=stable sudo -E rpi-eeprom-update -d -a
'';
};
}