(define-module (systems ayase)
  ;; uuid
  #:use-module (gnu)

  ;; grub
  #:use-module (gnu packages bootloaders)

  ;; gnome-boxes
  #:use-module (gnu packages gnome)

  ;; pinentry-qt
  ;; pinentry-tty
  #:use-module (gnu packages gnupg)

  ;; kgpg
  #:use-module (gnu packages kde-pim)

  ;; python-pip
  #:use-module (gnu packages python-build)

  ;; ruby
  #:use-module (gnu packages ruby)

  ;; profile-service-type
  ;; service
  ;; simple-service
  #:use-module (gnu services)

  ;; guix-home-service-type
  #:use-module (gnu services guix)

  ;; tor-service-type
  #:use-module (gnu services networking)

  ;; openssh-service-type
  #:use-module (gnu services ssh)

  ;; libvirt-service-type
  #:use-module (gnu services virtualization)

  ;; uid1000-account
  ;; uid1000-home-environment
  ;; uid1000-name
  #:use-module (users id1000)

  ;; linux
  ;; linux-firmware
  #:use-module (nongnu packages linux)

  ;; microcode-initrd
  #:use-module (nongnu system linux-initrd)

  ;; %sudoers-specification*
  #:use-module (suweren commons sudoers)

  ;; %distribution-services
  #:use-module (suweren services))

;; string
(define host-name
  "ayase")

;;;

;; #<file-system-label>
(define (swap-label number)
  (file-system-label (string-append host-name
				    "-swap"
				    number)))

;;;

;; <swap-space>
(define swap-1
  (swap-space (target (swap-label "-1"))))

;; <swap-space>
(define swap-2
  (swap-space (target (swap-label "-2"))))

;;;

;; (list <swap-space>)
(define swap-devices
  (list swap-1
	swap-2))

;; (list <user-account>)
(define users
  (append %base-user-accounts
	  (list uid1000-account)))

;;;

;; record* operating-system
(define-public operating-system*
  (let* ((bootloader-targets (list "/boot/efi"))
	 (efi-filesystem-id (uuid "B4FB-CBD9" 'fat32))
	 (home-environments `((,uid1000-name ,(uid1000-home-environment host-name))))
	 (root-filesystem-id (uuid "615a98cd-a632-4ee5-a6f4-e5ebcaa6fb8c"))

	 (efi-partition (file-system (mount-point "/boot/efi")
				     (device efi-filesystem-id)
				     (type "vfat")))
	 (home-services (service guix-home-service-type
				 home-environments))
	 (root-partition (file-system (mount-point "/")
				      (device root-filesystem-id)
				      (type "ext4")))

	 (ayase-file-systems (list root-partition
				   efi-partition))
	 (home-services (list home-services))
	 (keyboard-layout (keyboard-layout "pl"))
	 (system-services (list (service libvirt-service-type)
				(service openssh-service-type)
				(service tor-service-type)
				(simple-service 'gc-workaround
						profile-service-type
						(list grub
						      python-pip
						      ruby))
				(simple-service 'system-packages
						profile-service-type
						(list gnome-boxes
						      kgpg
						      pinentry-qt
						      pinentry-tty))))

	 (bootloader (bootloader-configuration (bootloader grub-efi-bootloader)
					       (targets bootloader-targets)
					       (keyboard-layout keyboard-layout)))
	 (file-systems (append %base-file-systems
			       ;; %distribution-file-systems
			       ayase-file-systems))
	 (firmware (list linux-firmware))
	 (packages (append %base-packages
			   ;; %distribution-packages
			   ;; system-packages
			   ))
	 (services (append %distribution-services
			   home-services
			   system-services)))
    (operating-system (kernel linux)
		      (bootloader bootloader)
                      (keyboard-layout keyboard-layout)
		      (initrd microcode-initrd)
		      (firmware firmware)
                      (host-name host-name)
                      (file-systems file-systems)
                      (swap-devices swap-devices)
                      (users users)
                      (timezone "Europe/Warsaw")
                      (locale "pl_PL.utf8")
                      (services services)
		      (sudoers-file %sudoers-specification*))))

operating-system*