Hacker News new | ask | show | jobs
by RattlesnakeJake 664 days ago
Depending on the model, that's usually swappable with the left CTRL in the UEFI/BIOS settings.