2023-05-19 05:32:31 +00:00
|
|
|
(use-modules (ryan-config base-system)
|
|
|
|
|
(gnu))
|
2023-05-19 04:29:52 +00:00
|
|
|
|
|
|
|
|
(operating-system
|
|
|
|
|
(inherit base-operating-system)
|
2023-09-17 21:06:55 +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-05-19 04:29:52 +00:00
|
|
|
(host-name "RyanThinkpad")
|
|
|
|
|
(mapped-devices (list (mapped-device
|
|
|
|
|
(source (uuid
|
|
|
|
|
"adcaf322-7ee5-48ec-abf6-4a9b10643878"))
|
|
|
|
|
(target "sysroot")
|
|
|
|
|
(type luks-device-mapping))))
|
|
|
|
|
(file-systems (cons* (file-system
|
|
|
|
|
(mount-point "/")
|
|
|
|
|
(device "/dev/mapper/sysroot")
|
|
|
|
|
(type "ext4")
|
|
|
|
|
(dependencies mapped-devices))
|
|
|
|
|
(file-system
|
|
|
|
|
(mount-point "/boot/efi")
|
|
|
|
|
(device (uuid "DFE8-32EF"
|
|
|
|
|
'fat32))
|
|
|
|
|
(type "vfat")) %base-file-systems))
|
|
|
|
|
(swap-devices
|
|
|
|
|
(list
|
|
|
|
|
(swap-space (target (uuid "7e1bb7c5-da2a-4509-8263-f707fc752993"))))))
|
