(mapped-devices (list (mapped-device
                         (source "/dev/sda2")
                         (type luks-device-mapping)
                         (target "root"))))

  (bootloader (bootloader-configuration
               (bootloader grub-bootloader)
               (target "/dev/sda")))

  (file-systems (cons* (file-system
                         (device "root")
                         (mount-point "/")
                         (type "ext4")
						(dependencies mapped-devices))
                       (file-system
                         (device "/dev/sda1")
                         (mount-point "/boot")
                         (type "vfat"))
%base-file-systems))