ARM VM with networking support?

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

Hello Guix!

‘guix system disk-image -s armhf-linux …’ currently fails with something like:

--8<---------------cut here---------------start------------->8---
[  509.985810] FS-Cache: Loaded
[  518.725029] 9pnet: Installing 9P2000 support
[  522.164822] 9p: Installing v9fs 9p2000 file system support
[  522.605051] FS-Cache: Netfs '9p' registered for caching
configuring QEMU networking...
In gnu/build/linux-boot.scm:
   502:17  2 (_)
   335:18  1 (configure-qemu-networking _)
In unknown file:
           0 (network-interface-flags #<input-output: socket 10>)

In procedure network-interface-flags: No such device
--8<---------------cut here---------------end--------------->8---

(gnu linux vm) has this:

      ;; NIC is not supported on ARM "virt" machine, so use a user mode
      ;; network stack instead.
      ,@(if target-arm32?
            '("-device" "virtio-net-pci,netdev=mynet"
              "-netdev" "user,id=mynet")
            '("-net" "nic,model=virtio"))

However this trick doesn’t give us a network interface controller, AFAICS.

I tried various QEMU options (including “-net nic,model=virtio”, which
QEMU doesn’t reject), I tried loading good’ol “e1000.ko” in the guest,
things like that, but I failed to get networking in the ARM VM.

Ideas?

Thanks,
Ludo’.