(use-modules (home-config base-system)
             (gnu))

(operating-system
    (inherit base-operating-system)
    (host-name "SED_HOSTNAME")

    (mapped-devices (list (mapped-device
                (source (uuid
                      "SED_CRYPT_UUID"))
                (target "cryptroot")
                (type luks-device-mapping))))
  
    (file-systems (cons* (file-system
                            (mount-point "/")
                            (device "/dev/mapper/cryptroot")
                            (type "btrfs")
                            (dependencies mapped-devices))
                         (file-system
                            (mount-point "/boot/efi")
                            (device (uuid "SED_EFI_UUID"
                                  'fat32))
                            (type "vfat")) %base-file-systems)))