Hacker News new | ask | show | jobs
by jefftk 1425 days ago
In an emergency you could boot from external media instead, no?
2 comments
oddlama 1424 days ago
Yes, and it's quite comfortable. If you don't want to use external media, many boards also come with a builtin UEFI shell which is quite powerful. From there you can simply execute the kernel with the desired cmdline. (like ./vmlinuz root=...)
link
Arnavion 1425 days ago
Yes, or keep a copy of edk2-shell around.
link