;; This is an operating system configuration generated
;; by the graphical installer.

(use-modules (gnu))
(use-service-modules desktop networking ssh xorg)

(define kiosk-example
  (operating-system
   (locale "en_US.utf8")
   (timezone "America/New_York")
   (bootloader
    (bootloader-configuration
     (bootloader grub-bootloader)
     (target "/dev/sda")))
   (swap-devices (list "/dev/sda1"))
   (file-systems
    (cons* (file-system
	    (mount-point "/")
	    (device
	     (file-system-label "guix-root"))
	    (type "ext4"))
           %base-file-systems))
   (host-name "kiosk")
   (users (cons* (user-account
                  (name "jackhill")
                  (comment "Jack Hill")
                  (group "users")
                  (home-directory "/home/jackhill")
                  (supplementary-groups
		   '("wheel" "netdev" "audio" "video")))
		 %base-user-accounts))
   (packages
    (append
     (list (specification->package "nss-certs"))
     %base-packages))
   (services
    (append
     (list (service openssh-service-type
		    (openssh-configuration
		     (permit-root-login 'prohibit-password)))
	   (service network-manager-service-type)
	   (service wpa-supplicant-service-type))
     %base-services))))

(list (machine
       (operating-system kiosk-example)
       (environment managed-host-environment-type)
       (configuration (machine-ssh-configuration
		       (host-name "kiosk.jackhill.us")
		       (host-key "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIEk3vY6QSwYtHpmsKTIGHJd508k3n1uCe3K3cpidUrzS")
		       (system "x86_64-linux")))))