2020-12-19 22:51:16 +01:00
|
|
|
{ lib, pkgs, config, modulesPath, ... }:
|
|
|
|
|
|
|
|
|
|
{
|
|
|
|
|
imports = [
|
|
|
|
|
../../configuration/common
|
|
|
|
|
(modulesPath + "/installer/cd-dvd/sd-image.nix")
|
|
|
|
|
];
|
|
|
|
|
|
2020-12-25 23:11:40 +01:00
|
|
|
nixpkgs.system = "aarch64-linux";
|
|
|
|
|
|
2020-12-19 22:51:16 +01:00
|
|
|
boot.loader.grub.enable = false;
|
|
|
|
|
boot.loader.raspberryPi.enable = true;
|
|
|
|
|
boot.loader.raspberryPi.version = 4;
|
|
|
|
|
boot.kernelPackages = pkgs.linuxPackages_rpi4;
|
|
|
|
|
|
|
|
|
|
sdImage = {
|
|
|
|
|
firmwareSize = 1024;
|
|
|
|
|
firmwarePartitionName = "NIXOS_BOOT";
|
|
|
|
|
populateFirmwareCommands =
|
|
|
|
|
"${config.system.build.installBootLoader} ${config.system.build.toplevel} -d ./firmware";
|
|
|
|
|
populateRootCommands = "";
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
fileSystems."/boot/firmware" = {
|
|
|
|
|
mountPoint = "/boot";
|
|
|
|
|
neededForBoot = true;
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
documentation.enable = false;
|
|
|
|
|
|
|
|
|
|
networking.hostName = "drain";
|
|
|
|
|
|
|
|
|
|
networking.interfaces.eth0.useDHCP = true;
|
|
|
|
|
|
|
|
|
|
system.stateVersion = "21.03";
|
|
|
|
|
}
|
