Re: No ethernet service during install

2021-08-02 Thread Philip McGrath
On 8/2/21 11:15 AM, Leo Famulari wrote:> I believe this is the Linux configuration option / driver: https://cateee.net/lkddb/web-lkddb/BNX2.html However, since it appears that this driver is not free software, linux-libre will have disabled it and it won't be supported within GNU Guix. To be

Re: No ethernet service during install

2021-08-02 Thread Leo Famulari
On Sun, Aug 01, 2021 at 09:06:31PM -0400, Robby Zambito wrote: > On Sun, Aug 01, 2021 at 05:03:13PM -0400, Leo Famulari wrote: > > That's unfortunate. Can you tell us what card it is? Ethernet (at least > > gigabit and slower) is usually supported by linux-libre, so I'm curious to > > know which

Re: No ethernet service during install

2021-08-01 Thread Robby Zambito
On Sun, Aug 01, 2021 at 05:03:13PM -0400, Leo Famulari wrote: > That's unfortunate. Can you tell us what card it is? Ethernet (at least > gigabit and slower) is usually supported by linux-libre, so I'm curious to > know which card is missing support. lspci says that it's a Broadcom NetXtreme II

Re: No ethernet service during install

2021-08-01 Thread Robby Zambito
Hello Florian, Thanks for the reply. > Maybe (possibly) your ethernet card is not supported by Linux-libre. It seems like this is the case unfortunately :( I tried doing the installation from the shell, rather than using the graphical installation. Running `ip link set up` gave me an error that

Re: No ethernet service during install

2021-08-01 Thread pelzflorian (Florian Pelz)
Hello Robby, On Sun, Aug 01, 2021 at 10:31:37AM -0400, Robby Zambito wrote: > I am trying to install GNU Guix on my Dell R710 server, but during the > installation I am running into this error: > > > No ethernet service available, please try again. Maybe (possibly) your ethernet card is not supp

No ethernet service during install

2021-08-01 Thread Robby Zambito
Hello, I am trying to install GNU Guix on my Dell R710 server, but during the installation I am running into this error: > No ethernet service available, please try again. I've tried rebooting, using both the stable and latest releases, and using different ethernet ports on the machine. Each tim