From mboxrd@z Thu Jan  1 00:00:00 1970
From: Isaac van Bakel <ivb@vanbakel.io>
Subject: EFI GRUB configuration ignores platform, has issues
Date: Sat, 22 Apr 2017 04:34:41 +0100
Message-ID: <5aff3524-a5b8-f70f-92d6-af6ff70ab2f6@vanbakel.io>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
Return-path: <help-guix-bounces+gcggh-help-guix=m.gmane.org@gnu.org>
Received: from eggs.gnu.org ([2001:4830:134:3::10]:49512)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <ivb@vanbakel.io>) id 1d1lpE-00086f-Vh
	for help-guix@gnu.org; Fri, 21 Apr 2017 23:35:10 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <ivb@vanbakel.io>) id 1d1lpA-0005mF-27
	for help-guix@gnu.org; Fri, 21 Apr 2017 23:35:09 -0400
Received: from mta-09-4.privateemail.com ([68.65.122.29]:62876)
	by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32)
	(Exim 4.71) (envelope-from <ivb@vanbakel.io>) id 1d1lp9-0005lr-RQ
	for help-guix@gnu.org; Fri, 21 Apr 2017 23:35:03 -0400
Received: from [129.31.223.225] (unknown [10.20.151.245])
	by MTA-09.privateemail.com (Postfix) with ESMTPA id E44C960032
	for <help-guix@gnu.org>; Sat, 22 Apr 2017 03:35:00 +0000 (UTC)
List-Id: <help-guix.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/help-guix>,
	<mailto:help-guix-request@gnu.org?subject=unsubscribe>
List-Archive: <http://lists.gnu.org/archive/html/help-guix/>
List-Post: <mailto:help-guix@gnu.org>
List-Help: <mailto:help-guix-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/help-guix>,
	<mailto:help-guix-request@gnu.org?subject=subscribe>
Errors-To: help-guix-bounces+gcggh-help-guix=m.gmane.org@gnu.org
Sender: "Help-Guix" <help-guix-bounces+gcggh-help-guix=m.gmane.org@gnu.org>
To: help-guix@gnu.org

Hi Guix,

I've been wrestling with a fresh real install for the past day or so.

Currently, the system seems to initialize fine with my config, with the 
exception of GRUB.
I wanted to get grub-efi working, so I added two things on top of the 
bare-bones config:

(use-modules (gnu packages)) at the start.

(grub (specification->package "grub-efi")) to my grub-configuration.

This all seems to work about as I expect - the grub install doesn't 
complain about a lack of a BIOS partition, and it tries its best.
The issue seems to be in part that grub-install for EFI tries to use 
i386-pc for a platform, even when I pass --system=x86_64-linux to guix 
system init, and the USB is a x86_64 one.
It tries to access a directory in /gnu/store 
/<grub-efi>/lib/grub/i386-pc which doesn't exist, and promptly fails.

If I copy over the x86_64 folder to i386-pc, the install gets past this 
point, and I can go on to boot as (apparently) normal.
However, I'm not sure whether to trust the boot totally, and I'm worried 
about it being unreproducable without manual effort.

Is there anything I can do?

Thanks,
Isaac