GNU bug report logs - #30893
cannot boot guixSD from libreboot

Previous Next

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 30893 in the body.
You can then email your comments to 30893 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Wensheng Xie <xiewensheng <at> gmail.com>
To: bug-guix <at> gnu.org
Subject: report problem: cannot book guixSD from libreboot
Date: Wed, 21 Mar 2018 17:17:57 +0800

[Message part 1 (text/plain, inline)]

Dear guix:

I have downloaded:
https://alpha.gnu.org/gnu/guix/guixsd-install-0.14.0.x86_64-linux.iso.xz

And follow the instruction
https://www.gnu.org/software/guix/manual/html_node/USB-Stick-and-DVD-Installation.html#USB-Stick-and-DVD-Installation
to make the DVD.

The DVD is ok to boot from a normal laptop (without libreboot).
When I insert the DVD to my laptop with libreboot, and reboot to boot
configuration, and select
*Search ISOLINUX menu (CD/DVD) (d)

The laptop does not boot to guixSD, but stays in the boot configuration
menu after reading the DVD. I have got no error message on the display.

So I want you to check if there is a problem.


best regards,
wxie

-- 
I'm an FSF member -- Help us support software freedom!
https://my.fsf.org/join

[Message part 2 (text/html, inline)]

Message #8 received at 30893 <at> debbugs.gnu.org (full text, mbox):

From: Wensheng Xie <xiewensheng <at> gmail.com>
To: 30893 <at> debbugs.gnu.org
Subject: Re: bug#30893: Acknowledgement (report problem: cannot book guixSD
 from libreboot)
Date: Thu, 22 Mar 2018 15:52:20 +0800

[Message part 1 (text/plain, inline)]

Sorry, I made a typo in the title: book ==> boot
bug#30893: Acknowledgement (report problem: cannot boot guixSD from
libreboot)

On Wed, Mar 21, 2018 at 5:19 PM, GNU bug Tracking System <
help-debbugs <at> gnu.org> wrote:

> Thank you for filing a new bug report with debbugs.gnu.org.
>
> This is an automatically generated reply to let you know your message
> has been received.
>
> Your message is being forwarded to the package maintainers and other
> interested parties for their attention; they will reply in due course.
>
> Your message has been sent to the package maintainer(s):
>  bug-guix <at> gnu.org
>
> If you wish to submit further information on this problem, please
> send it to 30893 <at> debbugs.gnu.org.
>
> Please do not send mail to help-debbugs <at> gnu.org unless you wish
> to report a problem with the Bug-tracking system.
>
> --
> 30893: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=30893
> GNU Bug Tracking System
> Contact help-debbugs <at> gnu.org with problems
>



-- 
I'm an FSF member -- Help us support software freedom!
https://my.fsf.org/join

[Message part 2 (text/html, inline)]

Message #11 received at 30893 <at> debbugs.gnu.org (full text, mbox):

From: Wensheng Xie <xiewensheng <at> gmail.com>
To: 30893 <at> debbugs.gnu.org
Subject: change the title to correct the typo: book ==> boot
Date: Thu, 22 Mar 2018 15:57:04 +0800

[Message part 1 (text/plain, inline)]

bug#30893: Acknowledgement (report problem: cannot boot guixSD from
libreboot)

[Message part 2 (text/html, inline)]

Message #14 received at 30893 <at> debbugs.gnu.org (full text, mbox):

From: Mark H Weaver <mhw <at> netris.org>
To: Wensheng Xie <xiewensheng <at> gmail.com>
Cc: 30893 <at> debbugs.gnu.org
Subject: Re: bug#30893: report problem: cannot book guixSD from libreboot
Date: Fri, 23 Mar 2018 17:08:48 -0400

retitle 30893 cannot boot guixSD from libreboot
thanks

Hi,

Wensheng Xie <xiewensheng <at> gmail.com> writes:

> I have downloaded:
> https://alpha.gnu.org/gnu/guix/guixsd-install-0.14.0.x86_64-linux.iso.xz
>
> And follow the instruction
> https://www.gnu.org/software/guix/manual/html_node/USB-Stick-and-DVD-Installation.html#USB-Stick-and-DVD-Installation
> to make the DVD.
>
> The DVD is ok to boot from a normal laptop (without libreboot).
> When I insert the DVD to my laptop with libreboot, and reboot to boot configuration, and select
> *Search ISOLINUX menu (CD/DVD) (d)

Instead of "Search ISOLINUX menu", could you try using "Search for GRUB2
configuration on external media"?  This is the method I've used in the
past on my Libreboot X60 and Libreboot X200 machines.

The last time I researched it, I learned that booting from USB in
Libreboot was somewhat unreliable, at least in some configurations.  It
might depend on which USB port you use, so please try different USB
ports.  It might depend on the USB stick, so maybe try another stick.
It might also be important to have the USB stick plugged in before you
power up the machine.  Finally, it might be a matter of chance, so you
might need to try it several times before it works.

Please let us know how it goes.

    Regards,
      Mark

Message #19 received at 30893 <at> debbugs.gnu.org (full text, mbox):

From: Wensheng Xie <xiewensheng <at> gmail.com>
To: Mark H Weaver <mhw <at> netris.org>
Cc: 30893 <at> debbugs.gnu.org
Subject: Re: bug#30893: report problem: cannot book guixSD from libreboot
Date: Wed, 28 Mar 2018 08:56:42 +0800

[Message part 1 (text/plain, inline)]

Thanks, Mark.

I have tried the following:

1. check the guixSD DVD with a laptop without libreboot. It boots without
problem. ==> The DVD disc is ok.
2. check the guixSD DVD with the laptop with libreboot. It will not boot for
   nither *Search ISOLINUX menu (CD/DVD) (d)
   or *Search for GRUB2 configuration on external media
3. check the DVD drive of the laptop with librebook using another DVD with
Trisquel GNU/Linux image. It boots without problem. ==> The DVD drive is ok.

There must be something incompatible for both guixSD image and libreboot.

Hope this helps for further analysis.

best regards,
wxie

On Sat, Mar 24, 2018 at 5:08 AM, Mark H Weaver <mhw <at> netris.org> wrote:

> retitle 30893 cannot boot guixSD from libreboot
> thanks
>
> Hi,
>
> Wensheng Xie <xiewensheng <at> gmail.com> writes:
>
> > I have downloaded:
> > https://alpha.gnu.org/gnu/guix/guixsd-install-0.14.0.x86_64-linux.iso.xz
> >
> > And follow the instruction
> > https://www.gnu.org/software/guix/manual/html_node/USB-
> Stick-and-DVD-Installation.html#USB-Stick-and-DVD-Installation
> > to make the DVD.
> >
> > The DVD is ok to boot from a normal laptop (without libreboot).
> > When I insert the DVD to my laptop with libreboot, and reboot to boot
> configuration, and select
> > *Search ISOLINUX menu (CD/DVD) (d)
>
> Instead of "Search ISOLINUX menu", could you try using "Search for GRUB2
> configuration on external media"?  This is the method I've used in the
> past on my Libreboot X60 and Libreboot X200 machines.
>
> The last time I researched it, I learned that booting from USB in
> Libreboot was somewhat unreliable, at least in some configurations.  It
> might depend on which USB port you use, so please try different USB
> ports.  It might depend on the USB stick, so maybe try another stick.
> It might also be important to have the USB stick plugged in before you
> power up the machine.  Finally, it might be a matter of chance, so you
> might need to try it several times before it works.
>
> Please let us know how it goes.
>
>     Regards,
>       Mark
>



-- 
I'm an FSF member -- Help us support software freedom!
https://my.fsf.org/join

[Message part 2 (text/html, inline)]

Message #22 received at 30893 <at> debbugs.gnu.org (full text, mbox):

From: Wensheng Xie <xiewensheng <at> gmail.com>
To: Mark H Weaver <mhw <at> netris.org>
Cc: 30893 <at> debbugs.gnu.org
Subject: Re: bug#30893: report problem: cannot book guixSD from libreboot
Date: Fri, 30 Mar 2018 08:32:22 +0800

[Message part 1 (text/plain, inline)]

Hi, Mark:

Tried guixSD installation with USB and libreboot.
It worked as you said - using
*Search for GRUB2 configuration on external media

Thanks
wxie

On Wed, Mar 28, 2018 at 8:56 AM, Wensheng Xie <xiewensheng <at> gmail.com> wrote:

> Thanks, Mark.
>
> I have tried the following:
>
> 1. check the guixSD DVD with a laptop without libreboot. It boots without
> problem. ==> The DVD disc is ok.
> 2. check the guixSD DVD with the laptop with libreboot. It will not boot
> for
>    nither *Search ISOLINUX menu (CD/DVD) (d)
>    or *Search for GRUB2 configuration on external media
> 3. check the DVD drive of the laptop with librebook using another DVD with
> Trisquel GNU/Linux image. It boots without problem. ==> The DVD drive is ok.
>
> There must be something incompatible for both guixSD image and libreboot.
>
> Hope this helps for further analysis.
>
> best regards,
> wxie
>
> On Sat, Mar 24, 2018 at 5:08 AM, Mark H Weaver <mhw <at> netris.org> wrote:
>
>> retitle 30893 cannot boot guixSD from libreboot
>> thanks
>>
>> Hi,
>>
>> Wensheng Xie <xiewensheng <at> gmail.com> writes:
>>
>> > I have downloaded:
>> > https://alpha.gnu.org/gnu/guix/guixsd-install-0.14.0.x86_64-
>> linux.iso.xz
>> >
>> > And follow the instruction
>> > https://www.gnu.org/software/guix/manual/html_node/USB-Stick
>> -and-DVD-Installation.html#USB-Stick-and-DVD-Installation
>> > to make the DVD.
>> >
>> > The DVD is ok to boot from a normal laptop (without libreboot).
>> > When I insert the DVD to my laptop with libreboot, and reboot to boot
>> configuration, and select
>> > *Search ISOLINUX menu (CD/DVD) (d)
>>
>> Instead of "Search ISOLINUX menu", could you try using "Search for GRUB2
>> configuration on external media"?  This is the method I've used in the
>> past on my Libreboot X60 and Libreboot X200 machines.
>>
>> The last time I researched it, I learned that booting from USB in
>> Libreboot was somewhat unreliable, at least in some configurations.  It
>> might depend on which USB port you use, so please try different USB
>> ports.  It might depend on the USB stick, so maybe try another stick.
>> It might also be important to have the USB stick plugged in before you
>> power up the machine.  Finally, it might be a matter of chance, so you
>> might need to try it several times before it works.
>>
>> Please let us know how it goes.
>>
>>     Regards,
>>       Mark
>>
>
>
>
> --
> I'm an FSF member -- Help us support software freedom!
> https://my.fsf.org/join
>



-- 
I'm an FSF member -- Help us support software freedom!
https://my.fsf.org/join

[Message part 2 (text/html, inline)]

Message #25 received at 30893 <at> debbugs.gnu.org (full text, mbox):

From: Mark H Weaver <mhw <at> netris.org>
To: Wensheng Xie <xiewensheng <at> gmail.com>
Cc: 30893 <at> debbugs.gnu.org
Subject: Re: bug#30893: report problem: cannot book guixSD from libreboot
Date: Fri, 30 Mar 2018 12:22:13 -0400

Wensheng Xie <xiewensheng <at> gmail.com> writes:

> Tried guixSD installation with USB and libreboot.
> It worked as you said - using
> *Search for GRUB2 configuration on external media

I'm glad to hear it.  Please let us know if you
run into any further problems.

     Thanks,
       Mark

Message #28 received at 30893 <at> debbugs.gnu.org (full text, mbox):

From: Danny Milosavljevic <dannym <at> scratchpost.org>
To: Wensheng Xie <xiewensheng <at> gmail.com>
Cc: 30893 <at> debbugs.gnu.org
Subject: Re: bug#30893: report problem: cannot book guixSD from libreboot
Date: Fri, 30 Mar 2018 19:21:32 +0200

[Message part 1 (text/plain, inline)]

Just for completeness: Which libreboot version is it?  You can check using dmidecode.

[Message part 2 (application/pgp-signature, inline)]

Message #31 received at 30893 <at> debbugs.gnu.org (full text, mbox):

From: Wensheng Xie <xiewensheng <at> gmail.com>
To: Danny Milosavljevic <dannym <at> scratchpost.org>
Cc: 30893 <at> debbugs.gnu.org
Subject: Re: bug#30893: report problem: cannot book guixSD from libreboot
Date: Mon, 2 Apr 2018 08:56:12 +0800

[Message part 1 (text/plain, inline)]

Thank Danny for reminding. Here is part of the dmidecode output

vendor: coreboot
version: CBET4000 1c84243
release date: 09/07/2016
ROM size: 8192 kB
BIOS revision: 4.0
firmware revision: 0.0


Hope it helps.
wxie

On Sat, Mar 31, 2018 at 1:21 AM, Danny Milosavljevic <dannym <at> scratchpost.org
> wrote:

> Just for completeness: Which libreboot version is it?  You can check using
> dmidecode.
>



-- 
I'm an FSF member -- Help us support software freedom!
https://my.fsf.org/join

[Message part 2 (text/html, inline)]

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.