RyanTower.scm

b7559d2d6b6bc46c482c01cdfc03091d8352944e · 1.6 KB · 39 lines raw

1 (use-modules (ryan-config base-system)
2 (ryan-bootloader uki)
3 (gnu))
4
5 (operating-system
6 (inherit base-operating-system)
7 (kernel-arguments (append (list "amd_iommu=on"
8 "iommu=pt"
9 "pci=noats"
10 "pcie_aspm=off"
11 "modprobe.blacklist=nouveau"
12 "vfio-pci.disable_idle_d3=1"
13 "vfio-pci.ids=10de:13f1,10de:0fbb")
14 %default-kernel-arguments))
15 (initrd-modules (cons* "vfio_pci" "vfio" "vfio_iommu_type1"
16 %base-initrd-modules))
17 (host-name "RyanTower")
18 (mapped-devices (list (mapped-device
19 (source (uuid
20 "e9f000b6-5532-499b-8278-bba30c1a2673"))
21 (target "sysroot")
22 (type luks-device-mapping))))
23 (file-systems (cons* (file-system
24 (mount-point "/")
25 (device "/dev/mapper/sysroot")
26 (type "ext4")
27 (dependencies mapped-devices))
28 (file-system
29 (mount-point "/boot/efi")
30 (device (uuid "89A8-89B0"
31 'fat32))
32 (type "vfat")) %base-file-systems))
33 (bootloader (bootloader-configuration
34 (bootloader uefi-uki-bootloader)
35 (targets (list "/boot/efi"))
36 (keyboard-layout (keyboard-layout "us"))))
37 (swap-devices
38 (list
39 (swap-space (target (uuid "e9f000b6-5532-499b-8278-bba30c1a2673"))))))