[Top][All Lists]

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

Re: Coreboot,T440P & GUIX installer

From: jerome moliere
Subject: Re: Coreboot,T440P & GUIX installer
Date: Wed, 22 Feb 2023 20:20:38 +0100

thanks for the reply Felix...
GUIX is not installed yet , I am stuck during the installation process...
So I have no WM or graphical desktop installed yet..
Opening a console during installation process just leaves me few options:
- I can use ifconfig or ip programs
- ping & telnet
- traceroute
but I don't think that wget or curl is available at this time (I will
double check)
DNS resolution seems ok, I can ping or
Where are the log files for the installer  (if any available)?

Thanks for your support

On Wed, Feb 22, 2023 at 8:03 PM Felix Lechner <>

> Hi,
> On Wed, Feb 22, 2023 at 9:34 AM jerome moliere <>
> wrote:
> >
> > I just bought a refurbished machine (T440P) with Coreboot
> Congratulations on your commitment to free software!
> > This wifi chipset is recognized
> > but activating it fails during ESSID pairing (bad password)...
> Do you use GNOME or NetworkManager to connect?
> > ping
> > works nicely inside my LAN or for public domains)  but network step
> finish
> > with RED screen saying my network is unable to provide access to
> > substitutes  (git repos for GUIX ?) while github is resolved in
> console...
> You may have a DNS or firewall issue. Did you configure your router to
> suggest and as default name servers for clients?
> Please also try wget or curl on a known URL.
> Finally, make sure you have ca-certificates installed (for TLS).
> > I wondered if someone runs Coreboot with GUIX ?
> Since you are already in Guix (or in the installer) I do not believe
> your BIOS plays any role in your technical issues.
> Kind regards
> Felix Lechner

J.MOLIERE - Mentor/J

reply via email to

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