;;; SPDX-License-Identifier: GPL-3.0-or-later
;;; SPDX-FileCopyrightText: 2026 Marek Paśnikowski <marek@marekpasnikowski.pl>

;;; COPYRIGHT NOTICE
;;;
;;; Copyright 2026, Marek Paśnikowski <marek@marekpasnikowski.pl>

;;; LICENSE NOTICE
;;;
;;; This library 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.
;;;
;;; This library 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 this library.
;;; If not, see <https://www.gnu.org/licenses/>.

(define-module (deployment machine)
  #:use-module ((deployment machine ssh)
                #:prefix deployment:machine:ssh:)
  #:use-module ((deployment system)
                #:prefix deployment:system:)
  #:use-module ((gnu machine)
                #:prefix gnu:machine:)
  #:use-module ((gnu machine ssh)
                #:prefix gnu:machine:ssh:))

(define aisaka-machine
  (gnu:machine:machine
   (operating-system deployment:system:aisaka)
   (environment      gnu:machine:ssh:managed-host-environment-type)
   (configuration    deployment:machine:ssh:aisaka-configuration)))

(define-public aisaka
  (list aisaka-machine))

(define akashi-machine
  (gnu:machine:machine
   (operating-system deployment:system:akashi)
   (environment      gnu:machine:ssh:managed-host-environment-type)
   (configuration    deployment:machine:ssh:akashi-configuration)))

(define-public akashi
  (list akashi-machine))