bug#30893: report problem: cannot book guixSD from libreboot
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
bug#30893: report problem: cannot book guixSD from libreboot
Just for completeness: Which libreboot version is it? You can check using dmidecode. pgprNQEPUdTqy.pgp Description: OpenPGP digital signature
bug#30893: report problem: cannot book guixSD from libreboot
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
bug#30893: report problem: cannot book guixSD from libreboot
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
bug#30893: report problem: cannot book guixSD from libreboot
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
bug#30893: report problem: cannot book guixSD from libreboot
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
bug#30893: report problem: cannot book guixSD from libreboot
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