Arch Linux

ValidName

Member

Registered: 2026-10-17

Posts: 8

Booting OS doesn't appear on booting list of BIOS

Hello! So, I try to install Arch, and I don't even know if the problem is related to it, but here I am
So, when I use my flash ISO to install Arch on PC via GRUB, I shutdown the computer, and expect option like "UEFI: OS, Partition...", like in previous times. But the only thing there is just booting ISO and BIOS interface. Can't even get to GRUB
It was there in the past, but I don't know what I forget
Here's info you may need:
GRUB install command:

grub-install --target=x86_64-efi --efi-directory=/boot/efi --bootloader-id=grub- efi --removable

(without removable it doesn't work)
GRUB config command:

grub-mkconfig -o /boot/grub/grub.cfg

BIOS:
UEFI by AMI (American Megatrends Inc.) 2025, version 2.18.1263
I'll kindly share any extra info you want. Please, help me!

Last edited by ValidName (2026-10-19 08:23:15)

ewaller

Administrator

From: Pasadena, CA

Registered: 2009-07-13

Posts: 20,712

Re: Booting OS doesn't appear on booting list of BIOS

Can you boot the iso?   If so what are the output of efibootmgr -u  and of lsblk -f    ?

---

Nothing is too wonderful to be true, if it be consistent with the laws of nature -- Michael Faraday
The shortest way to ruin a country is to give power to demagogues.— Dionysius of Halicarnassus
---
How to Ask Questions the Smart Way

ValidName

Member

Registered: 2026-10-17

Posts: 8

Re: Booting OS doesn't appear on booting list of BIOS

OK, ewaller, so when I do

efibootmgr -u

I get:
EFI variables are not supported on this system
(but other sources like

cat /sys/firmware/efi/fw_platform_size

claim I have an UEFI)
And

lsblk -f

gives:

sda1 vfat fat32 <Short UUID>       833M   18% /mnt/boot
sda2 swap 1     <Much longer UUID>            [SWAP]
sda3 ext4 1.0   <Also long UUID>   4.338G 1%  /mnt

EDIT: Also, wanted to clarify that it's all the same in chroot, just with mnt step cut out
EDIT2: Also also, yes, I can boot the ISO, but not OS

Last edited by ValidName (2026-10-19 08:20:23)

killertofus

Member

Registered: 2025-02-10

Posts: 260

Re: Booting OS doesn't appear on booting list of BIOS

Please use [code][/code] tags. Edit your post in this regard.

---

I Have Linux Perl Can i Download Gnome???

seth

Member

From: Won't reply 2 private help req

Registered: 2012-09-03

Posts: 78,461

Re: Booting OS doesn't appear on booting list of BIOS

--efi-directory=/boot/efi

Looks more like the ESP is mounted into /boot ?

---

How to upload text · How to boot w/o GUI · Disable Windows Fast-Start! · Fix your xinitrc

ValidName

Member

Registered: 2026-10-17

Posts: 8

Re: Booting OS doesn't appear on booting list of BIOS

Thanks everyone very much, this problem is now gone and I can take on other problems. seth's solution worked
If their comment ever vets taken down or whatever, I repeat:
My problems were solved by using:

grub-install --target=x86_64-efi --efi-directory=/boot --bootloader-id=grub-efi

as GRUB install command instead of:

grub-install --target=x86_64-efi --efi-directory=/boot/efi --bootloader-id=grub-efi

(i.e. move efi-directory up)

seth

Member

From: Won't reply 2 private help req

Registered: 2012-09-03

Posts: 78,461

Re: Booting OS doesn't appear on booting list of BIOS

If their comment ever vets taken

None shall dare

Please always remember to mark resolved threads by editing your initial posts subject - so others will know that there's no task left, but maybe a solution to find.
Thanks.

---

How to upload text · How to boot w/o GUI · Disable Windows Fast-Start! · Fix your xinitrc