Yo Motherboard

How to Add Kernel Parameters Using EFIBootmgr?

December 30, 2025 3 answers
Asked by CuriousChipmunk98
Hey everyone! I don't have a traditional bootloader and I directly boot through EFI. I'm looking to add some kernel parameters, specifically to disable PSR, but I've struggled to find information on how to do this. Any guidance would be greatly appreciated!
booting efibootmgr kernel parameters Linux Tutorial tutorials UEFI

Answers

TechieTurtle77
You can compile the kernel with the CONFIG_CMDLINE_BOOL option and set your parameters during the build process. I’ve seen that option before, but I haven't personally tried it out. Just a heads up if you decide to go that route!
Reply to this answer
SeekingSolutions14
Actually, UEFI can directly boot a kernel! If you're using efibootmgr, you might want to check out the Arch Wiki page on EFI boot stubs for more info on how to manage that.
Reply to this answer
LinuxLover42
It’s a common misconception that you don't have a bootloader. With UEFI, you likely have GRUB or systemd-boot. You can edit the `/etc/default/grub` file and update the `GRUB_CMDLINE_LINUX` variable to include your extra kernel parameters.
Reply to this answer

Add your answer

Answers are reviewed before publication.

Related Discussions