Subject: Re: bug#30893: report problem: cannot book guixSD from libreboot

From: Mark H Weaver <[email-masked]>
Date: Fri, 30 Mar 2018 12:22:13 -0400

Wensheng Xie <[email-masked]> 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