From mboxrd@z Thu Jan  1 00:00:00 1970
From: Danny Milosavljevic <dannym@scratchpost.org>
Subject: Re: Bootloader trouble during installation
Date: Thu, 6 Jul 2017 19:35:09 +0200
Message-ID: <20170706193509.5296013b@scratchpost.org>
References: <20170706133936.E133DA0155@smtp.hushmail.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
Return-path: <guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org>
Received: from eggs.gnu.org ([2001:4830:134:3::10]:60425)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <dannym@scratchpost.org>) id 1dTAgR-0005Bp-0v
	for guix-devel@gnu.org; Thu, 06 Jul 2017 13:35:20 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <dannym@scratchpost.org>) id 1dTAgN-0006a4-Tq
	for guix-devel@gnu.org; Thu, 06 Jul 2017 13:35:19 -0400
In-Reply-To: <20170706133936.E133DA0155@smtp.hushmail.com>
List-Id: "Development of GNU Guix and the GNU System distribution."
	<guix-devel.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/guix-devel>,
	<mailto:guix-devel-request@gnu.org?subject=unsubscribe>
List-Archive: <http://lists.gnu.org/archive/html/guix-devel/>
List-Post: <mailto:guix-devel@gnu.org>
List-Help: <mailto:guix-devel-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/guix-devel>,
	<mailto:guix-devel-request@gnu.org?subject=subscribe>
Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org
Sender: "Guix-devel" <guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org>
To: cinder88@hushmail.com
Cc: guix-devel@gnu.org

Hi Andrew,

there should be a BIOS setup option that indicates whether the BIOS is supposed to use EFI (I think you can also set up boot cryptographic keys in there somewhere, so around there).

According to http://pcsupport.lenovo.com/at/en/products/laptops-and-netbooks/thinkpad-x-series-laptops/thinkpad-x270/downloads/ds120442 it has UEFI.

How did you boot previously?

> For the bootloader, I am attempting to use legacy boot, not UEFI. I realize that
> fdisk below identifies /dev/sda2 as an EFI system, but 

>this seems to automatically happen when I set boot to on in parted.

Really?  Didn't happen to me - but I have Libreboot so no idea what it does for UEFI.

UEFI is kinda annoying to use and disable.  But if it doesn't boot anyway, try setting the grub package to grub-efi in the config (and then invoke "guix system reconfigure config.scm") to make it use UEFI.  Can't hurt...

Otherwise I think you have to manually disable UEFI in the BIOS setup or something...

But I only used UEFI once on another person's laptop (customer...), so I don't know much about it.  I added Ludo, who more recently used UEFI, to Cc  :)

> Device         Start       End   Sectors  Size Type
> /dev/sda1       2048      6143      4096    2M BIOS boot


> /dev/sda2       6144    268287    262144  128M EFI System

This should be a FAT partition.  If you want you can mount it and check it out...

If there are ".EFI" files there, it's UEFI.

> Number  Start   End     Size    File system     Name  Flags
>  1      1049kB  3146kB  2097kB                  grub  bios_grub
>  2      3146kB  137MB   134MB   ext4            boot  boot, esp

Yeah, "esp" for EFI system partition.

>   (bootloader (grub-configuration (device "/dev/sda")))

Try (bootloader (grub-configuration (grub grub-efi) (device "/dev/sda"))) if you want...