{ ... }:
{
  nixpkgs.system = "aarch64-linux";
  boot.loader.raspberry-pi.bootloader = "kernel";
}