2 (use-service-modules desktop networking ssh xorg)
7 (timezone "Canada/Eastern")
9 (keyboard-layout "us" "basic"))
11 (bootloader-configuration
12 (bootloader grub-bootloader)
14 (keyboard-layout keyboard-layout)))
18 (uuid "283da85e-2c84-47e6-a8ca-20f4e8efb806"))
20 (type luks-device-mapping))
23 (uuid "017ddebc-c2c3-4a0a-bda4-d47ec0bc67f0"))
25 (type luks-device-mapping))))
29 (device "/dev/mapper/groot")
31 (dependencies mapped-devices))
34 (device "/dev/mapper/data")
36 (dependencies mapped-devices))
42 (home-directory "/home/mab")
44 '("wheel" "netdev" "audio" "video")))
48 (list (specification->package "nss-certs"))
52 (service xfce-desktop-service-type)
53 (set-xorg-configuration
55 (keyboard-layout keyboard-layout)))