;;; Copyright © Guix documentation authors
;;; Copyright © 2022 Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org>
;;; This file is not part of GNU Guix.
;;;
;;; GNU Guix is free software; you can redistribute it and/or modify it
;;; under the terms of the GNU General Public License as published by
;;; the Free Software Foundation; either version 3 of the License, or (at
;;; your option) any later version.
;;;
;;; GNU Guix is distributed in the hope that it will be useful, but
;;; WITHOUT ANY WARRANTY; without even the implied warranty of
;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
;;; GNU General Public License for more details.
;;;
;;; You should have received a copy of the GNU General Public License
;;; along with GNU Guix.  If not, see <http://www.gnu.org/licenses/>.

(use-modules (gnu)
             (gnu machine)
             (gnu machine ssh))
(list (machine
       (operating-system
	(@ (rockpro64-system) rockpro64-operating-system))
       (environment managed-host-environment-type)
       (configuration
	(machine-ssh-configuration
	 (authorize? #t)
	 (build-locally? #f)
	 (host-key
	  (string-append
	   "ssh-ed25519"
	   " "
	   "AAAAC3NzaC1lZDI1NTE5AAAAIJXJagiYEGOgmij79pO0E5UqjnStKBB8T1H5S/eFYk5S"))
         (host-name "192.168.10.35")
         (identity "./id_ed25519")
	 (port 222)
         (system "aarch64-linux")
         (user "root")))))