RyanThinkpad.scm
0c1f7cae6b111ab2d3bd39c85640349d7e621764
· 1.2 KB · 28 lines
raw
| 1 | (use-modules (ryan-config base-system) |
| 2 | (gnu)) |
| 3 | |
| 4 | (operating-system |
| 5 | (inherit base-operating-system) |
| 6 | (kernel-arguments (append (list "intel_iommu=on") |
| 7 | %default-kernel-arguments)) |
| 8 | (initrd-modules (cons* "vfio_pci" "vfio" "vfio_iommu_type1" |
| 9 | %base-initrd-modules)) |
| 10 | (host-name "RyanThinkpad") |
| 11 | (mapped-devices (list (mapped-device |
| 12 | (source (uuid |
| 13 | "adcaf322-7ee5-48ec-abf6-4a9b10643878")) |
| 14 | (target "sysroot") |
| 15 | (type luks-device-mapping)))) |
| 16 | (file-systems (cons* (file-system |
| 17 | (mount-point "/") |
| 18 | (device "/dev/mapper/sysroot") |
| 19 | (type "ext4") |
| 20 | (dependencies mapped-devices)) |
| 21 | (file-system |
| 22 | (mount-point "/boot/efi") |
| 23 | (device (uuid "DFE8-32EF" |
| 24 | 'fat32)) |
| 25 | (type "vfat")) %base-file-systems)) |
| 26 | (swap-devices |
| 27 | (list |
| 28 | (swap-space (target (uuid "7e1bb7c5-da2a-4509-8263-f707fc752993")))))) |