Hacker News new | ask | show | jobs
by FredFS456 715 days ago
You can switch OS's using the UEFI menu instead. It's not always convenient, depending on your UEFI implementation, however.