From mboxrd@z Thu Jan 1 00:00:00 1970 From: "pelzflorian (Florian Pelz)" Subject: Re: ISO installer image: GPT versus MBR partitions Date: Fri, 19 Apr 2019 10:03:41 +0200 Message-ID: <20190419080341.m47hhg54lxfhan4r@pelzflorian.localdomain> References: <20190418121912.qt7lku32c24y6vm5@pelzflorian.localdomain> <6878673033215549429@scdbackup.webframe.org> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([209.51.188.92]:56435) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1hHOaG-0007Mp-PI for guix-devel@gnu.org; Fri, 19 Apr 2019 04:09:21 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1hHOaF-0006Pv-UP for guix-devel@gnu.org; Fri, 19 Apr 2019 04:09:20 -0400 Content-Disposition: inline In-Reply-To: <6878673033215549429@scdbackup.webframe.org> List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org Sender: "Guix-devel" To: Thomas Schmitt Cc: bug-xorriso@gnu.org, guix-devel@gnu.org On Thu, Apr 18, 2019 at 03:50:59PM +0200, Thomas Schmitt wrote: > > the Guix USB drive > > merely does not show up (for Debian, it shows up as an EFI partition > > in the boot menu). >=20 > So probably it is not run. >=20 Boot gets stuck on x86_64 Guix images only, but the one i686 I tried did not show up in the boot menu. I believe bootx64.efi is run for x86_64 and is the culprit. I could try burning a DVD and attempt to boot from it. It would also be interesting to find out how to change the bootx64.efi=E2=80=99s code and make it display debug information in some = way. Regards, Florian