RyanThinkpad.scm
88b87ca03766d23d8abec15561e3c05bd02ac6b0
· 1.4 KB · 34 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 "intel_iommu=on") |
| 8 | %default-kernel-arguments)) |
| 9 | (initrd-modules (cons* "vfio_pci" "vfio" "vfio_iommu_type1" |
| 10 | %base-initrd-modules)) |
| 11 | (host-name "RyanThinkpad") |
| 12 | (mapped-devices (list (mapped-device |
| 13 | (source (uuid |
| 14 | "40a2c899-a54f-400b-b3b8-9f83b8378c61")) |
| 15 | (target "sysroot") |
| 16 | (type luks-device-mapping)))) |
| 17 | (file-systems (cons* (file-system |
| 18 | (mount-point "/") |
| 19 | (device "/dev/mapper/sysroot") |
| 20 | (type "ext4") |
| 21 | (dependencies mapped-devices)) |
| 22 | (file-system |
| 23 | (mount-point "/boot/efi") |
| 24 | (device (uuid "A73D-7D13" |
| 25 | 'fat32)) |
| 26 | (type "vfat")) %base-file-systems)) |
| 27 | (bootloader (bootloader-configuration |
| 28 | (bootloader (uefi-uki-signed-bootloader |
| 29 | "/var/lib/sbctl/keys/db/db.pem" "/var/lib/sbctl/keys/db/db.key")) |
| 30 | (targets (list "/boot/efi")) |
| 31 | (keyboard-layout (keyboard-layout "us")))) |
| 32 | (swap-devices |
| 33 | (list |
| 34 | (swap-space (target (uuid "87b91351-93b6-4dcc-814f-64c0f901c4f3")))))) |