(use-modules (gnu)
             (srfi srfi-1)
             (nongnu system linux-initrd)
             (nongnu packages linux))

(use-service-modules desktop networking ssh xorg)

(operating-system
 (kernel linux)
 (initrd microcode-initrd)
 (locale "en_US.utf8")
 (host-name "guix")
 (timezone "Asia/Yekaterinburg")

 (keyboard-layout (keyboard-layout "us"))

 ;; This will be what is used on the target machine
 (bootloader (bootloader-configuration
              (bootloader grub-efi-bootloader)
              (timeout 1)
              (target "/boot/efi")))

 (firmware (append (list iwlwifi-firmware)
                   %base-firmware))

 (users (cons* (user-account
                (name "lil")
                (group "users")
                (supplementary-groups '("wheel" "netdev" "audio" "lp" "video"))
                ;; TODO: Default to name?
                (home-directory "/home/lil"))
               %base-user-accounts))

 (packages
  (append
   (list
    (specification->package "nss-certs"))
   %base-packages))

 (services
  (append
   (list
    (service gnome-desktop-service-type)
    (service openssh-service-type)
    (set-xorg-configuration
     (xorg-configuration
      (keyboard-layout keyboard-layout))))
   %desktop-services))

 (swap-devices (list "/dev/sda4"))

 (file-systems (cons*
                (file-system
                 (device (file-system-label "guix"))
                 (mount-point "/")
                 (type "ext4"))
                ;; Not needed for bootable usb but needed for final system
                (file-system
                 (device "/dev/sda1")
                 (type "vfat")
                 (mount-point "/boot/efi"))
                %base-file-systems)))