(list (machine (operating-system (load "config.scm")) (environment managed-host-environment-type) (configuration (machine-ssh-configuration (port 1022) (user "rekado") (build-locally? #false) (system "aarch64-linux") (host-key "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIBLdEigUV/EehmdclIq7zHVK1oiEInwC56tzw+9CB9L9") (host-name "192.168.178.20")))))