On Mon, Aug 12, 2019 at 3:31 AM Narcis Garcia <debianlists@actiu.net> wrote: > > Which NIC model do you "plug" to the Hurd machine? I tried the three Intel NICs and virtio. Jeff