Hacker News new | ask | show | jobs
by wolrah 474 days ago
Or just boot in to the EFI config interface and set a new default that way.
1 comments
lmz 474 days ago
Only if it's registered! Registering a new binary isn't usually in the customer motherboard menus.
link