(define-module (config systems felux)
  #:use-module (gnu)
  #:use-module (guix)
  #:use-module (config systems base-system))

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

 (bootloader (bootloader-configuration
	      (bootloader grub-efi-bootloader)
	      (targets (list "/boot/efi"))
	      (keyboard-layout keyboard-layout)))

 (swap-devices (list (swap-space
		      (target (uuid
			       "xxx")))))

 (mapped-devices (list (mapped-device
                        (source (uuid
                                 "xxx"))
                        (target "guix")
                        (type luks-device-mapping))))

 (file-systems (cons* (file-system
		       (mount-point "/")
		       (device "/dev/mapper/guix")
		       (type "ext4")
		       (dependencies mapped-devices))
		      (file-system
		       (mount-point "/boot/efi")
		       (device (uuid "xxx"
                                     'fat32))
		       (type "vfat")) %base-file-systems)))