From mboxrd@z Thu Jan 1 00:00:00 1970 From: Wensheng Xie Subject: bug#30893: report problem: cannot book guixSD from libreboot Date: Wed, 21 Mar 2018 17:17:57 +0800 Message-ID: Mime-Version: 1.0 Content-Type: multipart/alternative; boundary="001a1141f186b9afcb0567e8aa57" Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:39747) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1eyZtf-0001B2-MK for bug-guix@gnu.org; Wed, 21 Mar 2018 05:19:04 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1eyZte-0007VX-MR for bug-guix@gnu.org; Wed, 21 Mar 2018 05:19:03 -0400 Received: from debbugs.gnu.org ([208.118.235.43]:36973) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1eyZte-0007VT-Ia for bug-guix@gnu.org; Wed, 21 Mar 2018 05:19:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1eyZte-0006GP-DZ for bug-guix@gnu.org; Wed, 21 Mar 2018 05:19:02 -0400 Sender: "Debbugs-submit" Resent-Message-ID: Received: from eggs.gnu.org ([2001:4830:134:3::10]:39513) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1eyZse-0000XM-AY for bug-guix@gnu.org; Wed, 21 Mar 2018 05:18:01 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1eyZsd-0007CW-Bw for bug-guix@gnu.org; Wed, 21 Mar 2018 05:18:00 -0400 Received: from mail-io0-x22d.google.com ([2607:f8b0:4001:c06::22d]:36217) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1eyZsd-0007CE-60 for bug-guix@gnu.org; Wed, 21 Mar 2018 05:17:59 -0400 Received: by mail-io0-x22d.google.com with SMTP id o4so5784653iod.3 for ; Wed, 21 Mar 2018 02:17:58 -0700 (PDT) List-Id: Bug reports for GNU Guix List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org Sender: "bug-Guix" To: 30893@debbugs.gnu.org --001a1141f186b9afcb0567e8aa57 Content-Type: text/plain; charset="UTF-8" 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 --001a1141f186b9afcb0567e8aa57 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
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 boo= t configuration, and select
*Search ISOLINUX menu (CD/DVD) (d)
=
The laptop does not boot to guixSD, but stays in the boot configu= ration menu after reading the DVD. I have got no error message on the displ= ay.

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


<= /div>best regards,
wxie
=

--
I'm an FSF member -- Help us support software freedo= m! https://my.fsf.org/= join
--001a1141f186b9afcb0567e8aa57-- From mboxrd@z Thu Jan 1 00:00:00 1970 From: Wensheng Xie Subject: bug#30893: Acknowledgement (report problem: cannot book guixSD from libreboot) Date: Thu, 22 Mar 2018 15:52:20 +0800 Message-ID: References: Mime-Version: 1.0 Content-Type: multipart/alternative; boundary="000000000000661cc10567fb96b8" Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:37407) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1eyv22-0001dE-Ck for bug-guix@gnu.org; Thu, 22 Mar 2018 03:53:07 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1eyv1y-00027W-DJ for bug-guix@gnu.org; Thu, 22 Mar 2018 03:53:06 -0400 Received: from debbugs.gnu.org ([208.118.235.43]:38797) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1eyv1y-00027R-8m for bug-guix@gnu.org; Thu, 22 Mar 2018 03:53:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1eyv1x-0006Fo-UF for bug-guix@gnu.org; Thu, 22 Mar 2018 03:53:01 -0400 Sender: "Debbugs-submit" Resent-Message-ID: In-Reply-To: List-Id: Bug reports for GNU Guix List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org Sender: "bug-Guix" To: 30893@debbugs.gnu.org --000000000000661cc10567fb96b8 Content-Type: text/plain; charset="UTF-8" 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@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@gnu.org > > If you wish to submit further information on this problem, please > send it to 30893@debbugs.gnu.org. > > Please do not send mail to help-debbugs@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@gnu.org with problems > -- I'm an FSF member -- Help us support software freedom! https://my.fsf.org/join --000000000000661cc10567fb96b8 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Sorry, I made a typo in the title: book =3D=3D> boot

bug#30893: Acknow= ledgement (report problem: cannot boot guixSD from libreboot)



On Wed, Mar 21, = 2018 at 5:19 PM, GNU bug Tracking System <help-debbugs@gnu.org><= /span> 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):
=C2=A0bug-guix@gnu.org

If you wish to submit further information on this problem, please
send it to 30893@debbugs.gnu.org.

Please do not send mail to help-deb= bugs@gnu.org unless you wish
to report a problem with the Bug-tracking system.

--
30893: http://debbugs.gnu.org/cgi/bugreport= .cgi?bug=3D30893
GNU Bug Tracking System
Contact help-debbugs@gnu.org wi= th problems



--
I= 'm an FSF member -- Help us support software freedom! https://my.fsf.org/= join
--000000000000661cc10567fb96b8-- From mboxrd@z Thu Jan 1 00:00:00 1970 From: Wensheng Xie Subject: bug#30893: change the title to correct the typo: book ==> boot Date: Thu, 22 Mar 2018 15:57:04 +0800 Message-ID: References: Mime-Version: 1.0 Content-Type: multipart/alternative; boundary="0000000000004b99620567fba74b" Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:38621) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1eyv6r-0002Xm-Jf for bug-guix@gnu.org; Thu, 22 Mar 2018 03:58:06 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1eyv6o-0004Fo-F0 for bug-guix@gnu.org; Thu, 22 Mar 2018 03:58:05 -0400 Received: from debbugs.gnu.org ([208.118.235.43]:38804) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1eyv6o-0004Fe-AT for bug-guix@gnu.org; Thu, 22 Mar 2018 03:58:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1eyv6o-0006NG-1l for bug-guix@gnu.org; Thu, 22 Mar 2018 03:58:02 -0400 In-Reply-To: Sender: "Debbugs-submit" Resent-Message-ID: List-Id: Bug reports for GNU Guix List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org Sender: "bug-Guix" To: 30893@debbugs.gnu.org --0000000000004b99620567fba74b Content-Type: text/plain; charset="UTF-8" bug#30893: Acknowledgement (report problem: cannot boot guixSD from libreboot) --0000000000004b99620567fba74b Content-Type: text/html; charset="UTF-8"

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

--0000000000004b99620567fba74b-- From mboxrd@z Thu Jan 1 00:00:00 1970 From: Mark H Weaver Subject: bug#30893: report problem: cannot book guixSD from libreboot Date: Fri, 23 Mar 2018 17:08:48 -0400 Message-ID: <87po3u33fj.fsf@netris.org> References: Mime-Version: 1.0 Content-Type: text/plain Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:53031) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ezTwt-0008Lz-Jj for bug-guix@gnu.org; Fri, 23 Mar 2018 17:10:08 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1ezTwo-0002ch-LB for bug-guix@gnu.org; Fri, 23 Mar 2018 17:10:07 -0400 Received: from debbugs.gnu.org ([208.118.235.43]:42207) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1ezTwo-0002cb-Hn for bug-guix@gnu.org; Fri, 23 Mar 2018 17:10:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1ezTwo-00005I-CR for bug-guix@gnu.org; Fri, 23 Mar 2018 17:10:02 -0400 Sender: "Debbugs-submit" Resent-Message-ID: In-Reply-To: (Wensheng Xie's message of "Wed, 21 Mar 2018 17:17:57 +0800") List-Id: Bug reports for GNU Guix List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org Sender: "bug-Guix" To: Wensheng Xie Cc: 30893@debbugs.gnu.org retitle 30893 cannot boot guixSD from libreboot thanks Hi, Wensheng Xie 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 From mboxrd@z Thu Jan 1 00:00:00 1970 From: Wensheng Xie Subject: bug#30893: report problem: cannot book guixSD from libreboot Date: Wed, 28 Mar 2018 08:56:42 +0800 Message-ID: References: <87po3u33fj.fsf@netris.org> Mime-Version: 1.0 Content-Type: multipart/alternative; boundary="94eb2c1b779a007c4205686e7b8e" Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:60157) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1f0zOk-0005Bh-62 for bug-guix@gnu.org; Tue, 27 Mar 2018 20:57:07 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1f0zOh-0007fK-2H for bug-guix@gnu.org; Tue, 27 Mar 2018 20:57:06 -0400 Received: from debbugs.gnu.org ([208.118.235.43]:48521) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1f0zOg-0007fE-TX for bug-guix@gnu.org; Tue, 27 Mar 2018 20:57:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1f0zOg-00018z-Ds for bug-guix@gnu.org; Tue, 27 Mar 2018 20:57:02 -0400 Sender: "Debbugs-submit" Resent-Message-ID: In-Reply-To: <87po3u33fj.fsf@netris.org> List-Id: Bug reports for GNU Guix List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org Sender: "bug-Guix" To: Mark H Weaver Cc: 30893@debbugs.gnu.org --94eb2c1b779a007c4205686e7b8e Content-Type: text/plain; charset="UTF-8" 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 wrote: > retitle 30893 cannot boot guixSD from libreboot > thanks > > Hi, > > Wensheng Xie 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 --94eb2c1b779a007c4205686e7b8e Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Thanks, Mark.=

I have tried the following:

1. check the guixSD = DVD with a laptop without libreboot. It boots without problem. =3D=3D> T= he DVD disc is ok.
2. check the guixSD DVD with the laptop with li= breboot. It will not boot for
=C2=A0=C2=A0 nither *Search ISOLINUX menu (CD/DVD) (d)
=C2=A0=C2=A0 or *Search for GRUB2 configuration on external media
3.= check the DVD drive of the laptop with librebook using another DVD with Tr= isquel GNU/Linux image. It boots without problem. =3D=3D> 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@netris.org> wrote:
retitle 30893 cannot= boot guixSD from libreboot
thanks

Hi,

Wensheng Xie <xiewensheng@gmail= .com> writes:

> I have downloaded:
> https://alpha.gnu.org/g= nu/guix/guixsd-install-0.14.0.x86_64-linux.iso.xz
>
> And follow the instruction
> https://www.gnu.org/software/guix/manual/html_no= de/USB-Stick-and-DVD-Installation.html#USB-Stick-and-DVD-Ins= tallation
> 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 &qu= ot;Search for GRUB2
configuration on external media"?=C2=A0 This is the method I've us= ed 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.=C2=A0 I= t
might depend on which USB port you use, so please try different USB
ports.=C2=A0 It might depend on the USB stick, so maybe try another stick.<= br> It might also be important to have the USB stick plugged in before you
power up the machine.=C2=A0 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.

=C2=A0 =C2=A0 Regards,
=C2=A0 =C2=A0 =C2=A0 Mark



--
I'm an FSF = member -- Help us support software freedom! https://my.fsf.org/= join
--94eb2c1b779a007c4205686e7b8e-- From mboxrd@z Thu Jan 1 00:00:00 1970 From: Wensheng Xie Subject: bug#30893: report problem: cannot book guixSD from libreboot Date: Fri, 30 Mar 2018 08:32:22 +0800 Message-ID: References: <87po3u33fj.fsf@netris.org> Mime-Version: 1.0 Content-Type: multipart/alternative; boundary="94eb2c1b779aa636350568965fe1" Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:46012) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1f1hyb-0006OO-JA for bug-guix@gnu.org; Thu, 29 Mar 2018 20:33:06 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1f1hyY-00024a-EK for bug-guix@gnu.org; Thu, 29 Mar 2018 20:33:05 -0400 Received: from debbugs.gnu.org ([208.118.235.43]:51313) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1f1hyY-00024S-89 for bug-guix@gnu.org; Thu, 29 Mar 2018 20:33:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1f1hyY-0004w2-0k for bug-guix@gnu.org; Thu, 29 Mar 2018 20:33:02 -0400 Sender: "Debbugs-submit" Resent-Message-ID: In-Reply-To: List-Id: Bug reports for GNU Guix List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org Sender: "bug-Guix" To: Mark H Weaver Cc: 30893@debbugs.gnu.org --94eb2c1b779aa636350568965fe1 Content-Type: text/plain; charset="UTF-8" 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 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 wrote: > >> retitle 30893 cannot boot guixSD from libreboot >> thanks >> >> Hi, >> >> Wensheng Xie 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 --94eb2c1b779aa636350568965fe1 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Hi, Mark:

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

Thanks
wxie

On Wed, Ma= r 28, 2018 at 8:56 AM, Wensheng Xie <xiewensheng@gmail.com> wrote:
Thanks, Mark.

I have tried the= following:

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

There must be something incompatible for both guixSD i= mage and libreboot.

Hope this helps for further analysis.

best regards,
wxie

On S= at, Mar 24, 2018 at 5:08 AM, Mark H Weaver <mhw@netris.org> wro= te:
retitle 30893 cannot boot guixSD from= libreboot
thanks

Hi,

Wensheng Xie <xiewensheng@gmail.com> writes:

> I have downloaded:
> https://alpha.gnu.org/g= nu/guix/guixsd-install-0.14.0.x86_64-linux.iso.xz
>
> And follow the instruction
> https://www.gnu.org/software/guix/manual/html_no= de/USB-Stick-and-DVD-Installation.html#USB-Stick-and-DVD-Installa= tion
> 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 &qu= ot;Search for GRUB2
configuration on external media"?=C2=A0 This is the method I've us= ed 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.=C2=A0 I= t
might depend on which USB port you use, so please try different USB
ports.=C2=A0 It might depend on the USB stick, so maybe try another stick.<= br> It might also be important to have the USB stick plugged in before you
power up the machine.=C2=A0 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.

=C2=A0 =C2=A0 Regards,
=C2=A0 =C2=A0 =C2=A0 Mark



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



--
I'm an FSF = member -- Help us support software freedom! https://my.fsf.org/= join
--94eb2c1b779aa636350568965fe1-- From mboxrd@z Thu Jan 1 00:00:00 1970 From: Mark H Weaver Subject: bug#30893: report problem: cannot book guixSD from libreboot Date: Fri, 30 Mar 2018 12:22:13 -0400 Message-ID: <87sh8h7cui.fsf@netris.org> References: <87po3u33fj.fsf@netris.org> Mime-Version: 1.0 Content-Type: text/plain Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:60663) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1f1wow-00070S-E9 for bug-guix@gnu.org; Fri, 30 Mar 2018 12:24:07 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1f1wos-0007a7-5D for bug-guix@gnu.org; Fri, 30 Mar 2018 12:24:06 -0400 Received: from debbugs.gnu.org ([208.118.235.43]:52487) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1f1wos-0007Zu-27 for bug-guix@gnu.org; Fri, 30 Mar 2018 12:24:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1f1wor-00038e-QA for bug-guix@gnu.org; Fri, 30 Mar 2018 12:24:01 -0400 Sender: "Debbugs-submit" Resent-Message-ID: In-Reply-To: (Wensheng Xie's message of "Fri, 30 Mar 2018 08:32:22 +0800") List-Id: Bug reports for GNU Guix List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org Sender: "bug-Guix" To: Wensheng Xie Cc: 30893@debbugs.gnu.org Wensheng Xie 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 From mboxrd@z Thu Jan 1 00:00:00 1970 From: Danny Milosavljevic Subject: bug#30893: report problem: cannot book guixSD from libreboot Date: Fri, 30 Mar 2018 19:21:32 +0200 Message-ID: <20180330192132.610ed2c7@scratchpost.org> References: Mime-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha256; boundary="Sig_/.kI5FlFgXEmxthd9QDs07=g"; protocol="application/pgp-signature" Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:47549) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1f1xj3-00052j-Qz for bug-guix@gnu.org; Fri, 30 Mar 2018 13:22:06 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1f1xiz-0002WY-T2 for bug-guix@gnu.org; Fri, 30 Mar 2018 13:22:05 -0400 Received: from debbugs.gnu.org ([208.118.235.43]:52513) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1f1xiz-0002WQ-Pj for bug-guix@gnu.org; Fri, 30 Mar 2018 13:22:01 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1f1xiz-0004Ri-Ig for bug-guix@gnu.org; Fri, 30 Mar 2018 13:22:01 -0400 Sender: "Debbugs-submit" Resent-Message-ID: In-Reply-To: List-Id: Bug reports for GNU Guix List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org Sender: "bug-Guix" To: Wensheng Xie Cc: 30893@debbugs.gnu.org --Sig_/.kI5FlFgXEmxthd9QDs07=g Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: quoted-printable Just for completeness: Which libreboot version is it? You can check using = dmidecode. --Sig_/.kI5FlFgXEmxthd9QDs07=g Content-Type: application/pgp-signature Content-Description: OpenPGP digital signature -----BEGIN PGP SIGNATURE----- iQEzBAEBCAAdFiEEds7GsXJ0tGXALbPZ5xo1VCwwuqUFAlq+chwACgkQ5xo1VCww uqWNfAf+MRBYQ8JlP4s3lm5GmUn+0TtwdGxz7ZRtROLsmttxjh8mLx2pEqTmnoln 2LwGlGQth05ek/ie43EYDxHhDGUOPtd9wBR84l+rXBb2RHQoemJPeHy51qLlocsU xmzVy30WotX8v6Pyqi4MVt44ZuxYKZMiVIJN+4/Tw9v3OM6kbjyCW9m+n3RA5czg e0AAw84osQTxlwVIGej9sNgnQpU5muPnvpMuKSFL7hlNhXoiEEShNh9PMVlEMGr9 AcmNy8FLUpewH0XVlLJgEdt3NU5DdAnaZa3zW3aA/5GzwV5HuVOw+OCUNyWgqIBS NynbLml1f8E3J7MB8dd0tlwv4kLanA== =tqRj -----END PGP SIGNATURE----- --Sig_/.kI5FlFgXEmxthd9QDs07=g-- From mboxrd@z Thu Jan 1 00:00:00 1970 From: Wensheng Xie Subject: bug#30893: report problem: cannot book guixSD from libreboot Date: Mon, 2 Apr 2018 08:56:12 +0800 Message-ID: References: <20180330192132.610ed2c7@scratchpost.org> Mime-Version: 1.0 Content-Type: multipart/alternative; boundary="000000000000756d1c0568d30ef5" Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:50732) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1f2nmU-0008VY-Px for bug-guix@gnu.org; Sun, 01 Apr 2018 20:57:07 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1f2nmQ-0007Pq-9m for bug-guix@gnu.org; Sun, 01 Apr 2018 20:57:06 -0400 Received: from debbugs.gnu.org ([208.118.235.43]:54873) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1f2nmQ-0007Pc-4q for bug-guix@gnu.org; Sun, 01 Apr 2018 20:57:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1f2nmP-0003dI-Le for bug-guix@gnu.org; Sun, 01 Apr 2018 20:57:01 -0400 Sender: "Debbugs-submit" Resent-Message-ID: In-Reply-To: <20180330192132.610ed2c7@scratchpost.org> List-Id: Bug reports for GNU Guix List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org Sender: "bug-Guix" To: Danny Milosavljevic Cc: 30893@debbugs.gnu.org --000000000000756d1c0568d30ef5 Content-Type: text/plain; charset="UTF-8" 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 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 --000000000000756d1c0568d30ef5 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Thank Danny for remindi= ng. Here is part of the dmidecode output

vendor: coreboot
<= /div>version: CBET4000 1c84243
release date: 09/07/2016
<= div>ROM size: 8192 kB
BIOS revision: 4.0
firmware revisio= n: 0.0


Hope it helps.
wxie

On Sat, Mar 31, 2018 at 1:21 A= M, Danny Milosavljevic <dannym@scratchpost.org> wrote:<= br>
Just for completeness: Which libreboot ve= rsion is it?=C2=A0 You can check using dmidecode.



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