2 (use-service-modules desktop networking ssh xorg)
7 (timezone "America/Toronto")
9 (keyboard-layout "us" "basic"))
11 (bootloader-configuration
12 (bootloader grub-bootloader)
14 (keyboard-layout keyboard-layout)))
18 (uuid "3d9d579d-3626-4fb2-9c16-beae804f1cf9"))
20 (type luks-device-mapping))))
24 (device "/dev/mapper/groot")
26 (dependencies mapped-devices))
28 (users (cons* (user-account
31 (home-directory "/home/bandali")
33 '("wheel" "netdev" "audio" "video")))
37 (list (specification->package "nss-certs"))
41 (list (service xfce-desktop-service-type)
42 (service openssh-service-type)
43 (set-xorg-configuration
45 (keyboard-layout keyboard-layout))))