From mboxrd@z Thu Jan 1 00:00:00 1970 From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=) Subject: Re: Planning for the next release Date: Mon, 03 Apr 2017 10:23:32 +0200 Message-ID: <87tw65sxvf.fsf@gnu.org> References: <87wpb7ym78.fsf@gnu.org> <87shlqv4pe.fsf@kirby.i-did-not-set--mail-host-address--so-tickle-me> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:48040) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1cuxHD-0004j7-KN for guix-devel@gnu.org; Mon, 03 Apr 2017 04:23:52 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1cuxHA-0006iJ-Hg for guix-devel@gnu.org; Mon, 03 Apr 2017 04:23:51 -0400 In-Reply-To: <87shlqv4pe.fsf@kirby.i-did-not-set--mail-host-address--so-tickle-me> (Marius Bakke's message of "Mon, 03 Apr 2017 00:13:01 +0200") 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: Marius Bakke Cc: guix-devel , John Darrington Marius Bakke skribis: > Ludovic Court=C3=A8s writes: > >> 3. UEFI support documented and possibly improved. >> >> We can certainly document the UEFI setup and add the /boot/efi >> partition in some of the =E2=80=98operating-system=E2=80=99 exampl= es. >> >> The more difficult part is the installation: do we need to make a >> second, UEFI-specific, installation image? When I installed >> GuixSD on UEFI, I booted our installation image as =E2=80=9Clegacy= =E2=80=9D, but >> then GRUB would default to a legacy install, not a UEFI install: >> >> https://lists.gnu.org/archive/html/guix-devel/2016-12/msg00799.h= tml >> >> I=E2=80=99m not sure exactly what needs to be done. Thoughts? > > I plan to work on this over the next few days. The most common way is to > create a "hybrid" disk image that supports both UEFI and BIOS boot. IIRC > Debian achieves this by using Isolinux to create the EFI payload and > chainload to Grub. More information next week :-) Awesome, thanks for volunteering! Ludo=E2=80=99.