Re: ARM VM with networking support?

["Ludovic Courtès" <ludo@gnu.org>]

[-- Attachment #1: Type: text/plain, Size: 1031 bytes --]

Hello!

Mathieu Othacehe <m.othacehe@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’.


[-- Attachment #2: the config --]
[-- Type: text/plain, Size: 3312 bytes --]

(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))