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 completene
Just for completeness: Which libreboot version is it? You can check using
dmidecode.
pgprNQEPUdTqy.pgp
Description: OpenPGP digital signature
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
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
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 co
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
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 no
