(use-modules (ryan-config base-system)
	     (ryan-bootloader uki)
             (gnu))

(operating-system
  (inherit base-operating-system)
  (kernel-arguments (append (list "amd_iommu=on")
			    %default-kernel-arguments))
  (initrd-modules (cons* "vfio_pci" "vfio" "vfio_iommu_type1"
			 %base-initrd-modules))
  (host-name "RyanTower")
  (mapped-devices (list (mapped-device
                          (source (uuid
                                   "e9f000b6-5532-499b-8278-bba30c1a2673"))
                          (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")
                         (device (uuid "89A8-89B0"
                                       'fat32))
                         (type "vfat")) %base-file-systems))
  (bootloader (bootloader-configuration
		(bootloader uefi-uki-bootloader)
		(targets (list "/boot/efi"))
		(keyboard-layout (keyboard-layout "us"))))
  (swap-devices
    (list
      (swap-space (target (uuid "e9f000b6-5532-499b-8278-bba30c1a2673"))))))