2023-05-19 01:32:31 -04:00
|
|
|
(use-modules (ryan-config base-system)
|
2025-01-20 20:49:03 -05:00
|
|
|
(ryan-bootloader uki)
|
2023-05-19 01:32:31 -04:00
|
|
|
(gnu))
|
2023-05-19 00:29:52 -04:00
|
|
|
|
|
|
|
|
(operating-system
|
|
|
|
|
(inherit base-operating-system)
|
2023-09-17 17:06:55 -04: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 00:29:52 -04:00
|
|
|
(host-name "RyanThinkpad")
|
|
|
|
|
(mapped-devices (list (mapped-device
|
|
|
|
|
(source (uuid
|
2025-01-20 20:49:03 -05:00
|
|
|
"40a2c899-a54f-400b-b3b8-9f83b8378c61"))
|
2023-05-19 00:29:52 -04:00
|
|
|
(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")
|
2025-01-20 20:49:03 -05:00
|
|
|
(device (uuid "A73D-7D13"
|
2023-05-19 00:29:52 -04:00
|
|
|
'fat32))
|
|
|
|
|
(type "vfat")) %base-file-systems))
|
2025-01-20 20:49:03 -05:00
|
|
|
(bootloader (bootloader-configuration
|
|
|
|
|
(bootloader uefi-uki-bootloader)
|
|
|
|
|
(targets (list "/boot/efi"))
|
|
|
|
|
(keyboard-layout (keyboard-layout "us"))))
|
2023-05-19 00:29:52 -04:00
|
|
|
(swap-devices
|
|
|
|
|
(list
|
2025-01-20 20:49:03 -05:00
|
|
|
(swap-space (target (uuid "87b91351-93b6-4dcc-814f-64c0f901c4f3"))))))
|
