From debbugs-submit-bounces@debbugs.gnu.org Thu Feb 22 10:47:56 2018 Received: (at 30311) by debbugs.gnu.org; 22 Feb 2018 15:47:56 +0000 Received: from localhost ([127.0.0.1]:56652 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1eot6B-0001VA-SQ for submit@debbugs.gnu.org; Thu, 22 Feb 2018 10:47:56 -0500 Received: from sender-of-o51.zoho.com ([135.84.80.216]:21052) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1eot69-0001V2-Vu for 30311@debbugs.gnu.org; Thu, 22 Feb 2018 10:47:54 -0500 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; t=1519314436; s=zoho; d=elephly.net; i=rekado@elephly.net; h=References:From:To:Cc:Subject:In-reply-to:Date:MIME-Version:Content-Type:Content-Transfer-Encoding:Message-ID; l=865; bh=3RpL9kU82WH6Z+A/8nTmuOq7ppMsseQjW1HC2cfpZXs=; b=ZE0LKH/Tl7LN86uVW4gs+qg83Tfy2upFZEOzfznWT/nIE1p/7bhtOLe+DEiU8nBZ MnCPHRZPVGQm8kLAjjaByv59iQKupNa1bPJrvhD+V+iAAnTwuJLihjCPPiOohQo1tyg PLa3txPt3OaLJsU/8nmJW/aOwd3M5T8NuNTopqTU= Received: from localhost (141.80.247.179 [141.80.247.179]) by mx.zohomail.com with SMTPS id 1519314435983353.02508198019314; Thu, 22 Feb 2018 07:47:15 -0800 (PST) References: <87tvuel15z.fsf@netris.org> <878tbocpm2.fsf@fastmail.com> <87606scohd.fsf@fastmail.com> <20180220220011.737ee227@scratchpost.org> <87mv019i88.fsf@fastmail.com> User-agent: mu4e 1.0; emacs 25.3.1 From: Ricardo Wurmus To: Marius Bakke Subject: Re: bug#30311: efi-less grub install fails In-reply-to: <87mv019i88.fsf@fastmail.com> X-URL: https://elephly.net X-PGP-Key: https://elephly.net/rekado.pubkey X-PGP-Fingerprint: BCA6 89B6 3655 3801 C3C6 2150 197A 5888 235F ACAC Date: Thu, 22 Feb 2018 16:47:13 +0100 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Message-ID: <871shdqb5q.fsf@elephly.net> X-ZohoMailClient: External X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 30311 Cc: Danny Milosavljevic , Ricardo Wurmus , 30311@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.0 (/) Marius Bakke writes: > Ricardo: Can you post the output of `find /sys/firmware/efi -maxdepth 1` > on the affected machine? With luck, we'll find a variable that is only > present on "real" EFI. > > Can you also post the contents of '/sys/firmware/efi/runtime'? Now that I have GuixSD installed on that machine I don=E2=80=99t have /sys/firmware/efi at all. /sys/firmware contains =E2=80=9Cacpi=E2=80=9D, = =E2=80=9Cdmi=E2=80=9D, and =E2=80=9Cmemmap=E2=80=9D only. The problem occurred when I tried to install GuixSD (after booting from a GuixSD installer USB drive), not when reconfiguring. I don=E2=80=99t hav= e a USB drive with me at the moment, so I cannot check the contents of /sys/firmware in the installer GuixSD now. -- Ricardo GPG: BCA6 89B6 3655 3801 C3C6 2150 197A 5888 235F ACAC https://elephly.net