2023-10-07 20:59:12 +00:00
|
|
|
(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"))
|
2024-06-21 18:13:42 +00:00
|
|
|
(target "root")
|
2023-10-07 20:59:12 +00:00
|
|
|
(type luks-device-mapping))))
|
|
|
|
|
|
|
|
|
|
(file-systems (cons* (file-system
|
|
|
|
|
(mount-point "/")
|
2024-06-21 18:13:42 +00:00
|
|
|
(device "/dev/mapper/root")
|
2023-10-07 20:59:12 +00:00
|
|
|
(type "btrfs")
|
|
|
|
|
(dependencies mapped-devices))
|
|
|
|
|
(file-system
|
|
|
|
|
(mount-point "/boot/efi")
|
|
|
|
|
(device (uuid "SED_EFI_UUID"
|
|
|
|
|
'fat32))
|
|
|
|
|
(type "vfat")) %base-file-systems)))
|
