[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: ARM VM with networking support?

From: Ludovic Courtès
Subject: Re: ARM VM with networking support?
Date: Sun, 17 Nov 2019 18:11:06 +0100
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux)


Mathieu Othacehe <address@hidden> 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:
> 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.


(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/
;; 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
                      (lambda (port)
                        (display "heartbeat\n" port)))))

(define %ludo-key
  (local-file "/home/ludo/.ssh/"))

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

  (users (cons (user-account
                (name "ludo")
                (comment "Ludovic Courtès")
                (group "users")
                (supplementary-groups '("wheel"
                                        "audio" "video")))

  (packages (cons* screen ;strace
                   pulseaudio wget %base-packages))

  (services (append (list heartbeat-service
                          (service dhcp-client-service-type)
                          (service openssh-service-type
                                    (permit-root-login 'without-password)
                                     `(("ludo" ,%ludo-key)
                                       ("root" ,%ludo-key)))))
                          ;; (service dropbear-service-type
                          ;;          (dropbear-configuration
                          ;;           (port-number 2222)
                          ;;           (root-login? #t)))
                          (tor-hidden-service "ssh"
                                              '((22 "")
                                                (80 "")))

                          (service agetty-service-type
                                    (tty "ttyS0")
                                    (keep-baud? #t)
                                    (term "vt102")
                                    (baud-rate "115200,38400,9600")))

                          (service ntp-service-type)
                          (service avahi-service-type))
  (name-service-switch %mdns-host-lookup-nss))

reply via email to

[Prev in Thread] Current Thread [Next in Thread]