Sorry, I forgot to attach that config.
(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)))