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

Previous Next

Package: guix;

Reported by: Wensheng Xie <xiewensheng <at> gmail.com>

Date: Wed, 21 Mar 2018 09:19:02 UTC

Severity: normal

Done: Jai Vetrivelan <jaivetrivelan <at> gmail.com>

Bug is archived. No further changes may be made.

Full log

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)]
This bug report was last modified 3 years and 22 days ago.

Previous Next

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