Update operating_system.md (#26496)

Co-authored-by: Franck Nijhof <frenck@frenck.nl>
This commit is contained in:
Sander 2023-03-09 10:10:45 +01:00 committed by GitHub
parent 51f5e1bbf0
commit 5aedfec22e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -181,6 +181,9 @@ This can be accomplished either by using a live operating system (e.g. Ubuntu) a
--loader '\EFI\BOOT\bootx64.efi'
```
The efibootmgr command will only work if you booted the live operating system in UEFI mode, so be sure to boot from your USB flash drive in this mode.
Depending on your privileges on the prompt, you may need to run efibootmgr using sudo.
Or else, the BIOS might provide you with a tool to add boot options, there you can specify the path to the EFI file:
```text