{pkgs, ... }:
{
  boot.loader.raspberryPi = {
    version = 3;
  };

  boot.initrd.kernelModules = [ "vc4" "bcm2835_dma" "i2c_bcm2835" ];
  
  networking.hostName = "orange";
  nixpkgs.hostPlatform.system = "aarch64-linux";
  system.stateVersion = "23.05";

  users.users.root = {
    openssh.authorizedKeys.keyFiles = [
      ./authorized_keys
    ];
  };
  services.openssh.enable = true;
}