(define %linux-modules
  ;; Things needed for the USB keyboard & co., plus dm-crypt for
  ;; cryptsetup/LUKS.
  '(;; "ehci_hcd" "uhci_hcd"
    ;; "ata_piix"
    ;; "ohci1394"
    "usb-storage.ko"
    "dm-crypt.ko" "aes-x86_64.ko" "crc32.ko" "pcbc.ko" "xcbc.ko" "sha256-ssse3.ko"))

(operating-system
  (host-name "pluto")
  (timezone "Europe/Paris")
  (locale "en_US.UTF-8")

  (bootloader (grub-configuration
               (device "/dev/sda")
               (menu-entries (list nixos-entry))))
  (initrd (lambda (fs . args)
            (apply base-initrd fs
                   #:extra-modules %linux-modules
                   args)))

  (mapped-devices (list (mapped-device
                         (source "/dev/sda3")
                         (target "home")
                         (type luks-device-mapping))))

  (file-systems (cons* (file-system
                         (device "root")
                         (title 'label)
                         (mount-point "/")
                         (type "ext3"))
                       (file-system
                         (device "/dev/mapper/home")
                         (mount-point "/home")
                         (type "ext3"))
                       %base-file-systems))

  ;; ...
)