Hello: The BIOS_GRUB partition was installed by Ubuntu, I think, without any help from me. I am trying to understand the next step. I have to reboot into that Arch install, and walk back through it. When I get to the point of needing a boot manager, I will install gummiboot. Give it a try. Thank you. Alan On Thu, May 1, 2014 at 3:35 PM, Delcypher <delcypher@gmail.com> wrote:
Here is a some information from the gdisk listing:
Nbr Size Code Name -----+------------+------+------------------------- 1 1000.0 MiB 2700 2 260.0 MiB EF00 EFI system partition 3 128.0 MiB 0C01 Microsoft reserved part 4 49.6 GiB 0700 Basic data partition 5 9.7 GiB 2700 Lenovo (?recovery?) 6 10.0 GiB 8200 Linux SWAP 7 49.4 GiB 8300 Archlinux / 8 58.8 GiB 8300 /home 9 1024.0 KiB EF02 "bios_grub" (Ubuntu?) 10 59.8 GiB 8300 UBUNTU /
You do not need a bios_grub partition. That is for systems with a BIOS (rather than UEFI) that want use a GPT partition table rather than MBR. You are using UEFI, therefore you are probably using GPT already and so a bios_grub partition is completely unnecessary.