2023-11-08 02:49:55 +00:00
|
|
|
(use-modules (home-config base-system)
|
2023-10-02 16:29:28 +00:00
|
|
|
(gnu))
|
2023-09-05 03:21:01 +00:00
|
|
|
|
|
|
|
|
(operating-system
|
2023-10-02 16:29:28 +00:00
|
|
|
(inherit base-operating-system)
|
|
|
|
|
(host-name "shinji")
|
2023-09-05 03:21:01 +00:00
|
|
|
|
2023-09-29 14:36:21 +00:00
|
|
|
(kernel-arguments (append (list "intel_iommu=on")
|
|
|
|
|
%default-kernel-arguments))
|
|
|
|
|
|
|
|
|
|
(initrd-modules (cons* "vfio_pci" "vfio" "vfio_iommu_type1"
|
|
|
|
|
%base-initrd-modules))
|
|
|
|
|
|
2023-10-02 16:29:28 +00:00
|
|
|
(mapped-devices (list (mapped-device
|
|
|
|
|
(source (uuid
|
|
|
|
|
"5c5dcb22-62b1-41af-9116-b8fdfba83ca2"))
|
|
|
|
|
(target "cryptroot")
|
|
|
|
|
(type luks-device-mapping))))
|
2023-11-03 14:43:24 +00:00
|
|
|
|
2023-10-02 16:29:28 +00:00
|
|
|
(file-systems (cons* (file-system
|
|
|
|
|
(mount-point "/")
|
|
|
|
|
(device "/dev/mapper/cryptroot")
|
|
|
|
|
(type "btrfs")
|
|
|
|
|
(dependencies mapped-devices))
|
|
|
|
|
(file-system
|
|
|
|
|
(mount-point "/boot/efi")
|
|
|
|
|
(device (uuid "AD5A-4DF3"
|
|
|
|
|
'fat32))
|
2023-11-03 14:43:24 +00:00
|
|
|
(type "vfat")) %base-file-systems))
|
|
|
|
|
|
|
|
|
|
(swap-devices
|
|
|
|
|
(list
|
|
|
|
|
(swap-space
|
|
|
|
|
(target "/swapfile")
|
|
|
|
|
(dependencies (filter (file-system-mount-point-predicate "/")
|
|
|
|
|
file-systems))))))
|
