(define-module (mirenn system))

(use-modules (gnu)
             (nongnu packages linux)
             (nongnu system linux-initrd)
             (mirenn packages pki)
             (mirenn services tailscale))
(use-package-modules shells fonts linux finance)
(use-service-modules xorg desktop ssh pm base)

(operating-system
  (locale "en_US.utf8")
  (timezone "Europe/Rome")
  (keyboard-layout (keyboard-layout "it"))
  (host-name "zenbook")

  (kernel linux)
  (kernel-arguments (cons* "mem_sleep_default=s2idle"
                           "resume=c3e1bb45-fc45-4934-853b-e5cd5a1688d7"
                           %default-kernel-arguments))
  (initrd microcode-initrd)
  (firmware (cons* linux-firmware
                   sof-firmware
                   %base-firmware))

  (bootloader (bootloader-configuration
                (bootloader grub-efi-bootloader)
                (targets (list "/boot/efi"))
                (keyboard-layout keyboard-layout)))
  (swap-devices (list (swap-space
                        (target (uuid
                                  "c3e1bb45-fc45-4934-853b-e5cd5a1688d7")))))
  (file-systems (cons* (file-system
                         (mount-point "/boot/efi")
                         (device (uuid
                                   "9FAB-A387"
                                   'fat32))
                         (type "vfat"))
                       (file-system
                                    (mount-point "/")
                                    (device (uuid
                                              "372783f2-fa50-400e-8a9a-53bbaabc1566"
                                              'ext4))
                                    (type "ext4"))
                       %base-file-systems))

  (users (cons* (user-account
                  (name "mirenn")
                  (group "users")
                  (home-directory "/home/mirenn")
                  (shell (file-append fish "/bin/fish"))
                  (supplementary-groups '("wheel" "netdev" "audio" "video" "input")))
                %base-user-accounts))

  (packages (cons* alsa-ucm-conf
                   custom-certs
                   %base-packages))

  (services (cons* (service openssh-service-type)
                   (service bluetooth-service-type)
                   (service tlp-service-type)
                   (service tailscale-service-type)
                   (service console-font-service-type
                            `(("tty1" . ,(file-append font-terminus "share/consolefonts/ter-v24n"))
                              ("tty2" . ,(file-append font-terminus "share/consolefonts/ter-v24n"))
                              ("tty3" . ,(file-append font-terminus "share/consolefonts/ter-v24n"))
                              ("tty4" . ,(file-append font-terminus "share/consolefonts/ter-v24n"))
                              ("tty5" . ,(file-append font-terminus "share/consolefonts/ter-v24n"))
                              ("tty6" . ,(file-append font-terminus "share/consolefonts/ter-v24n"))))
                   (udev-rules-service 'trezor trezord-udev-rules)
                   (simple-service 'swaylock-pam-service
                     pam-root-service-type
                     (list (unix-pam-service "swaylock")))
                   (modify-services %desktop-services
                     (delete gdm-service-type)
                     (delete console-font-service-type)
                     (guix-service-type config => (guix-configuration
                                                    (inherit config)
                                                    (substitute-urls
                                                      (cons* "https://substitutes.nonguix.org"
                                                             %default-substitute-urls))
                                                    (authorized-keys
                                                      (cons* (local-file "/etc/guix/nonguix-signing-key.pub")
                                                             %default-authorized-guix-keys))))))))