{ ... }:
{
  imports = [
    # <nixos-hardware/pine64/pinebook-pro>
    <nixpkgs/nixos/modules/installer/sd-card/sd-image-aarch64.nix>
    # ./os/loader.nix # Don't uncomment this before having put extra behind an option!
  ];
  nixpkgs.crossSystem.system = "aarch64-linux";
  # networking.hostName = "pindakaas.geoffrey.frogeye.fr";
}