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

(operating-system
  (inherit base-operating-system)
  (kernel-arguments (append (list "intel_iommu=on")
                            %default-kernel-arguments))
  (initrd-modules (cons* "vfio_pci" "vfio" "vfio_iommu_type1"
                         %base-initrd-modules))
  (host-name "RyanThinkpad")
  (mapped-devices (list (mapped-device
                          (source (uuid
                                   "40a2c899-a54f-400b-b3b8-9f83b8378c61"))
                          (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 "A73D-7D13"
                                       'fat32))
                         (type "vfat")) %base-file-systems))
  (bootloader (bootloader-configuration
		(bootloader (uefi-uki-signed-bootloader
                    "/var/lib/sbctl/keys/db/db.pem" "/var/lib/sbctl/keys/db/db.key"))
		(targets (list "/boot/efi"))
		(keyboard-layout (keyboard-layout "us"))))
  (swap-devices
    (list
      (swap-space (target (uuid "87b91351-93b6-4dcc-814f-64c0f901c4f3"))))))