Hello!
Mathieu Othacehe <m.othac...@gmail.com> skribis:
>> (BTW, there seem to be other patches in that series that have been
>> reviewed but are not yet applied. Is there any particular reason? Are
>> we still missing something?)
>
> Yes, as mentionned here:
> https://lists.gnu.org/archive/html/guix-patches/2019-10/msg00388.html,
> I'd like to get a review on patch 02 and I'll push the whole serie.
I see you pushed it to ‘core-updates’ in the meantime, and I guess it’s
all right! Apologies for not replying earlier.
>> $ ./pre-inst-env guix system disk-image --image-size=6G
>> ~/src/configuration/olimex-configuration.scm -s armhf-linux -v2
>> Since this happens on a 9P mount, is that a bug specific to 9P on ARM,
>> or to the 9P bridge in QEMU? What would you suggest? :-)
>
> Hmm, no clue about this one, but if you can share your
> olimex-configuration.scm I can have a look with both native and cross
> system compilation.
Here’s my tentative config file.
Thanks,
Ludo’.
(use-modules (gnu) (gnu bootloader u-boot))
(use-service-modules networking ssh avahi)
(use-package-modules screen linux pulseaudio wget)
(use-modules (srfi srfi-1))
;; /sbin/agetty --keep-baud 115200 38400 9600 ttyS0 vt102
;; # redefine green led to blink until shutdown, try to switch OTG port to host
;; (echo heartbeat >/sys/class/leds/*green*/trigger) 2>/dev/null
;; echo 0 > /sys/bus/platform/devices/sunxi_usb_udc/otg_role 2>/dev/null
;; olimex@A20-OLinuXino:~$ cat .config/pulse/default.pa
;; load-module module-alsa-sink
;; load-module module-rtp-recv
;; load-module module-native-protocol-unix
(define heartbeat-service
(simple-service 'heartbeat activation-service-type
#~(call-with-output-file
"/sys/class/leds/green:ph02:led1/trigger"
(lambda (port)
(display "heartbeat\n" port)))))
(define %ludo-key
(local-file "/home/ludo/.ssh/id_rsa.pub"))
(operating-system
(host-name "olimex")
(timezone "Europe/Paris")
(locale "en_US.utf8")
(bootloader (bootloader-configuration
(bootloader u-boot-a20-olinuxino-micro-bootloader)
(target "/dev/mmcblk0")))
(firmware '())
(file-systems (cons (file-system
(device (file-system-label "root"))
(mount-point "/")
(type "ext4"))
%base-file-systems))
(users (cons (user-account
(name "ludo")
(comment "Ludovic Courtès")
(group "users")
(supplementary-groups '("wheel"
"audio" "video")))
%base-user-accounts))
(packages (cons* screen ;strace
pulseaudio wget %base-packages))
(services (append (list heartbeat-service
(service dhcp-client-service-type)
(service openssh-service-type
(openssh-configuration
(permit-root-login 'without-password)
(authorized-keys
`(("ludo" ,%ludo-key)
("root" ,%ludo-key)))))
;; (service dropbear-service-type
;; (dropbear-configuration
;; (port-number 2222)
;; (root-login? #t)))
(tor-hidden-service "ssh"
'((22 "127.0.0.1:22")
(80 "127.0.0.1:8080")))
(service agetty-service-type
(agetty-configuration
(tty "ttyS0")
(keep-baud? #t)
(term "vt102")
(baud-rate "115200,38400,9600")))
(service ntp-service-type)
(service avahi-service-type))
%base-services))
(name-service-switch %mdns-host-lookup-nss))
