Hi,

On Wed, Feb 22, 2023 at 9:34 AM jerome moliere <jer...@javaxpert.com> 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 8.8.8.8 and 8.8.4.4 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

Reply via email to