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

From: Danny Milosavljevic <[email-masked]>
Date: Fri, 30 Mar 2018 19:21:32 +0200

Just for completeness: Which libreboot version is it?  You can check using dmidecode.