hi!
i was able to boot from an SD card with an image i created from the
following image.
--8<---------------cut here---------------start------------->8---
(use-modules (gnu)
(gnu system)
(gnu system images pinebook-pro)
(gnu bootloader)
(gnu bootloader u-boot)
(gnu image)
(gnu packages linux)
(gnu services)
(gnu system file-systems)
(gnu system image)
(guix platforms arm)
(nongnu packages firmware)
(nongnu packages linux))
(use-package-modules android curl file gnupg linux suckless wm ssh
flashing-tools version-control video vpn xdisorg)
(use-service-modules dbus desktop networking security-token ssh xorg)
(define pinebook-pro-os
(operating-system
(host-name "coney")
(timezone "Europe/Zurich")
(locale "en_US.utf8")
(bootloader (bootloader-configuration
(bootloader u-boot-pinebook-pro-rk3399-bootloader)
(targets '("/dev/mmcblk2"))))
(initrd-modules '())
(kernel linux-arm64-generic)
(firmware (cons* libreelec-firmware
%base-firmware))
(file-systems (cons (file-system
(device "/dev/mmcblk2p1")
(mount-point "/")
(type "ext4"))
%base-file-systems))
(users (cons*
(user-account
(name "gabriel")
(group "users")
(home-directory "/home/gabriel")
(supplementary-groups
'("wheel" "netdev" "video" "realtime" "kvm" "adbusers")))
%base-user-accounts))
(groups (cons* (user-group (name "adbusers") (system? #t))
(user-group (name "realtime") (system? #t))
%base-groups))
(packages (cons* swayfx i3status swaylock swayidle clipman dmenu
wireguard-tools %base-packages))
(services
(cons*
(service agetty-service-type
(agetty-configuration
(extra-options '("-L")) ; no carrier detect
(baud-rate "1500000")
(term "vt100")
(tty "ttyS2")))
(service screen-locker-service-type
(screen-locker-configuration
(name "swaylock")
(program (file-append swaylock "/bin/swaylock"))
(using-pam? #t)
(using-setuid? #f)))
%desktop-services))))
(define pinebook-pro-raw-image
(image
(inherit
(os+platform->image pinebook-pro-os aarch64-linux
#:type pinebook-pro-image-type))
(name 'pinebook-pro-raw-image)))
;; Return the default image.
pinebook-pro-raw-image
--8<---------------cut here---------------end--------------->8---
this booted just fine. after pulling and reconfiguring the machine
won't boot anymore.
--8<---------------cut here---------------start------------->8---
Welcome, this is GNU's early boot Guile.
Use 'gnu.repl' for an initrd REPL.
loading kernel modules...
e2fsck: No such file or directory while trying to open /dev/mmcblk1p1
Possibly non-existent device?
File system check on /dev/mmcblk1p1 failed
Spawning Bourne-like REPL.
--8<---------------cut here---------------end--------------->8---
/dev/mmcblk1p1 does exist, or at least it is listed when i
ls /dev/
is there a major difference between creating an image and reconfiguring
the system with the same operating-system definition? what am i
missing?
thanks as usual for any and all pointers in advance!
g
