diff options
Diffstat (limited to 'systems')
-rw-r--r-- | systems/kaworu.scm | 23 | ||||
-rw-r--r-- | systems/shinji.scm | 29 |
2 files changed, 52 insertions, 0 deletions
diff --git a/systems/kaworu.scm b/systems/kaworu.scm new file mode 100644 index 0000000..254d09b --- /dev/null +++ b/systems/kaworu.scm @@ -0,0 +1,23 @@ +(use-modules (freya system) + (gnu)) + +(operating-system + (inherit base-operating-system) + (host-name "kaworu") + + (mapped-devices (list (mapped-device + (source (uuid + "89257280-202b-4565-b832-89f160d5e4e2")) + (target "cryptroot") + (type luks-device-mapping)))) + + (file-systems (cons* (file-system + (mount-point "/") + (device "/dev/mapper/cryptroot") + (type "btrfs") + (dependencies mapped-devices)) + (file-system + (mount-point "/boot/efi") + (device (uuid "099A-D668" + 'fat32)) + (type "vfat")) %base-file-systems))) diff --git a/systems/shinji.scm b/systems/shinji.scm new file mode 100644 index 0000000..0b8378b --- /dev/null +++ b/systems/shinji.scm @@ -0,0 +1,29 @@ +(use-modules (freya system) + (gnu)) + +(operating-system + (inherit base-operating-system) + (host-name "shinji") + + (kernel-arguments (append (list "intel_iommu=on") + %default-kernel-arguments)) + + (initrd-modules (cons* "vfio_pci" "vfio" "vfio_iommu_type1" + %base-initrd-modules)) + + (mapped-devices (list (mapped-device + (source (uuid + "5c5dcb22-62b1-41af-9116-b8fdfba83ca2")) + (target "cryptroot") + (type luks-device-mapping)))) + + (file-systems (cons* (file-system + (mount-point "/") + (device "/dev/mapper/cryptroot") + (type "btrfs") + (dependencies mapped-devices)) + (file-system + (mount-point "/boot/efi") + (device (uuid "AD5A-4DF3" + 'fat32)) + (type "vfat")) %base-file-systems))) |