Hacker News new | ask | show | jobs
by ghusbands 2118 days ago
They said "via the BIOS setting", which is definitely not userland switching.