From mboxrd@z Thu Jan 1 00:00:00 1970 From: "Thomas Schmitt" Subject: Re: ISO installer image: GPT versus MBR partitions Date: Thu, 18 Apr 2019 08:32:23 +0200 Message-ID: <22869673002187228535@scdbackup.webframe.org> References: <20190417223535.4fxj5e2wshtd2djc@pelzflorian.localdomain> Content-Type: text/plain; charset="utf-8" Return-path: Received: from eggs.gnu.org ([209.51.188.92]:52196) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1hH0Yx-0004AH-KT for guix-devel@gnu.org; Thu, 18 Apr 2019 02:30:24 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1hH0Yu-0006Ss-Px for guix-devel@gnu.org; Thu, 18 Apr 2019 02:30:22 -0400 In-Reply-To: <20190417223535.4fxj5e2wshtd2djc@pelzflorian.localdomain> 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: bug-xorriso@gnu.org Cc: guix-devel@gnu.org Hi, Florian Pelz wrote: > my Macbook still does not like it. The content of the EFI partition of guixsd-install-0.15.0.i686-linux.iso does not look like it is ready for 64-bit x86: $ mount guixsd-install-0.15.0.i686-linux.iso /mnt/iso $ mount /mnt/iso/efi.img /mnt/fat $ find /mnt/fat -exec ls -ld '{}' ';' drwxr-xr-x 3 root root 7680 Jan 1 1970 /mnt/fat drwxr-xr-x 3 root root 1024 Jul 6 2018 /mnt/fat/efi drwxr-xr-x 2 root root 1024 Jul 6 2018 /mnt/fat/efi/boot -rwxr-xr-x 1 root root 96256 Jul 6 2018 /mnt/fat/efi/boot/boot.efi -rwxr-xr-x 1 root root 96256 Jul 6 2018 /mnt/fat/efi/boot/bootia32.efi According to UEFI specs, bootia32.efi is the start program for 32-bit x86 systems. The name for 64-bit x86 systems would be bootx64.efi like in the EFI partition of debian-9.3.0-amd64-netinst.iso : drwxr-xr-x 3 root root 16384 Jan 1 1970 /mnt/fat drwxr-xr-x 3 root root 2048 Dec 9 2017 /mnt/fat/efi drwxr-xr-x 2 root root 2048 Dec 9 2017 /mnt/fat/efi/boot -rwxr-xr-x 1 root root 390656 Dec 9 2017 /mnt/fat/efi/boot/bootx64.efi (Afaik, the EFI partition image is created by grub-mkimage. But i may be wrong. Better check source of debian-cd or ask Steve McIntyre.) Was GRUB configured to produce 64-bit x86 code ? I only know how to do it with Debian. There i have to install the packages "grub-pc" for BIOS, "grub-efi-ia32-bin" for 32 bit x86 EFI, "grub-efi-amd64-bin" for 64 bit x86 EFI. The EFI partition then has: drwxr-xr-x 3 root root 7680 Jan 1 1970 /mnt/fat drwxr-xr-x 3 root root 1024 Feb 6 2016 /mnt/fat/efi drwxr-xr-x 2 root root 1024 Feb 6 2016 /mnt/fat/efi/boot -rwxr-xr-x 1 root root 132608 Feb 6 2016 /mnt/fat/efi/boot/bootx64.efi -rwxr-xr-x 1 root root 95744 Feb 6 2016 /mnt/fat/efi/boot/bootia32.efi -rwxr-xr-x 1 root root 95744 Feb 6 2016 /mnt/fat/efi/boot/boot.efi -rwxr-xr-x 1 root root 1759 Dec 10 2017 /mnt/fat/NvVars ("grub-pc" caused bootable MBR x85 code.) Have a nice day :) Thomas