{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";
}