(use-modules (gnu bootloader)
             (gnu bootloader u-boot)
             (gnu services base)
             (gnu system)
             (gnu system image)
             (gnu system file-systems)
             (guix channels)
             (guix inferior)
             (srfi srfi-1))

(define wip-pinebook
  (list (channel (name 'guix)
                 (url "https://git.savannah.gnu.org/git/guix.git")
                 (branch "wip-pinebook-pro")
                 (introduction
                   (make-channel-introduction
                     "47a5442aa7dad8b1904483954e91640c3cac5e90"
                     (openpgp-fingerprint
                       "658073613BFCC5C7E2E45D45DC518FC87F9716AA"))))))
(define inferior-pinebook (inferior-for-channels wip-pinebook))

(operating-system
  (host-name "test")
  (timezone "US/Eastern")
  (locale "en_US.utf8")
  (bootloader (bootloader-configuration
                (bootloader u-boot-pinebook-pro-rk3399-bootloader)
                (target "/dev/vda")))
  (kernel (first (lookup-inferior-packages inferior-pinebook
                                           "linux-libre-pinebook-pro")))
  (kernel-arguments (cons* "video=HDMI-A-1:1920x1080@60"
                           "video=eDP-1:1920x1080@60"
                           "vga=current"
                           %default-kernel-arguments))
  (initrd-modules '())
  (file-systems (cons (file-system
                        (device (file-system-label root-label))
                        (mount-point "/")
                        (type "ext4"))
                      %base-file-systems))
  (users (cons (user-account
                 (name "test")
                 (group "users")
                 (supplementary-groups '("wheel"))
                 (password (crypt "test" "$5$ca")))
               %base-user-accounts))
  (services (cons* (service agetty-service-type
                            (agetty-configuration
                              (extra-options '("-L"))
                              (baud-rate "1500000")
                              (term "vt100")
                              (tty "ttyS2")))
                   %base-services)))