orange/platforms/orange.nix

11 lines
246 B
Nix

{pkgs, ...}:
{
nixpkgs.hostPlatform.system = "aarch64-linux";
sdImage.imageName = "orange.img";
boot.loader.raspberryPi.version = 3;
boot.initrd.kernelModules = [ "vc4" "bcm2835_dma" "i2c_bcm2835" ];
networking.hostName = "orange";
}