Re: Coreboot,T440P & GUIX installer

[jerome moliere]

Hi,
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 google.com or kernel.org
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 <felix.lechner@lease-up.com>
wrote:

> Hi,
>
> On Wed, Feb 22, 2023 at 9:34 AM jerome moliere <jerome@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
>


-- 
J.MOLIERE - Mentor/J