My stupid Lenovo “Thinkpad” UEFI doesnt have a real F12 devices menu.

It just shows registered UEFI targets that can be booted.

This is pretty catastrophic, somehow I got Fedora and Windows installed, but thats it. If something breaks, I am in trouble. I cant do a memtest86 even though I think my RAM is faulty.

So in Linux, is there a way to add an UEFI entry to boot just any USB stick? Or to boot a specific one, like with Ventoy on it?

Thanks!

You are viewing a single thread.
View all comments
10 points

Don’t you have an option to boot from usb in the BIOS?

Note that accessing the boot menus is not always with F12. Sometimes it’s also ESC, F1, F2 or DEL. You should try those.

permalink
report
reply
4 points

or F11

permalink
report
parent
reply
3 points

I’ve had F10 before too.

permalink
report
parent
reply
3 points

At that point also consider your local governments nuke launch button as a possible option.

permalink
report
parent
reply
2 points

F10 is typical on HP / Compaq

permalink
report
parent
reply
0 points

Its the boot menu for sure.

Maybe I need to set “legacy first” to boot from USB?

There is no “boot from USB” in the BIOS and the F12 menu doesnt show devices, just UEFI entries.

permalink
report
parent
reply
1 point

Try F1 instead of F12. It should be under Setup -> Boot, and then just make your USB the first entry, save, and exit. And just so we’re covering all bases, the usb should be plugged in before you reboot into the bios settings and it may be under a name that doesn’t say “usb” anywhere (for example, the name of my usb in the bios settings contains the manufacturer and size in GB in addition to some other nonsense that i think is a model number).

permalink
report
parent
reply
1 point

Yes thats the usual way but that didnt work. Anyways, for some reason my Bios works again, without and logical thing causing that. Showing devices, ssds, usb sticks like a good Bios lol

permalink
report
parent
reply
1 point

The BIOS should have a boot order option. You could set you USB as first priority there. Your USB may need to be plugged in to appear in this list.

permalink
report
parent
reply
1 point

Ok thats a valid point. I will try to plug it in.

permalink
report
parent
reply

Linux

!linux@lemmy.ml

Create post

From Wikipedia, the free encyclopedia

Linux is a family of open source Unix-like operating systems based on the Linux kernel, an operating system kernel first released on September 17, 1991 by Linus Torvalds. Linux is typically packaged in a Linux distribution (or distro for short).

Distributions include the Linux kernel and supporting system software and libraries, many of which are provided by the GNU Project. Many Linux distributions use the word “Linux” in their name, but the Free Software Foundation uses the name GNU/Linux to emphasize the importance of GNU software, causing some controversy.

Rules

  • Posts must be relevant to operating systems running the Linux kernel. GNU/Linux or otherwise.
  • No misinformation
  • No NSFW content
  • No hate speech, bigotry, etc

Related Communities

Community icon by Alpár-Etele Méder, licensed under CC BY 3.0

Community stats

  • 8.5K

    Monthly active users

  • 6.3K

    Posts

  • 173K

    Comments