(use-modules (home-config base-system)
	     (gnu))

(operating-system
	(inherit base-operating-system)
	(host-name "shinji")

	(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)))