Updated config for rpi

This commit is contained in:
Julien Malka 2022-01-02 15:15:03 +01:00
parent a36c041fda
commit 171ee59ab4
No known key found for this signature in database
GPG key ID: 3C68E13964FEA07F

14
rpi.nix
View file

@ -8,7 +8,7 @@
# if you have a Raspberry Pi 2 or 3, pick this:
boot.kernelPackages = pkgs.linuxPackages_latest;
networking.hostName = "lambda";
# A bunch of boot parameters needed for optimal runtime on RPi 3b+
boot.kernelParams = [ "cma=256M" ];
boot.loader.raspberryPi.enable = true;
@ -31,7 +31,17 @@
};
};
# Preserve space by sacrificing documentation and history
networking.interfaces.eth0.useDHCP = false;
networking.interfaces.eth0.ipv4.addresses = [
{
address = "129.199.134.202";
prefixLength = 24;
}
];
networking.defaultGateway = "129.199.134.254";
networking.nameservers = [ "8.8.8.8" ];
documentation.nixos.enable = false;
nix.gc.automatic = true;
nix.gc.options = "--delete-older-than 30d";