;;; 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 system ayase)
  #:export     (bootloader
                kernel)
  #:use-module (gnu bootloader)
  #:use-module ((mnt-reform rk3588)
                #:prefix mnt-reform:rk3588:)
  #:use-module ((sovereign packages linux)
                #:prefix sovereign:packages:linux:))

(define bootloader
  (bootloader-configuration
   (targets (list "/dev/mmcblk0"
                  "/dev/nvme0n1"))
	 (bootloader mnt-reform:rk3588:pocket-rk3588-u-boot-bootloader)))

(define kernel sovereign:packages:linux:linux-mnt-rk3588)