I am not sure if they got into the OS at that speed. From the video I got the impression that they adjusted the core frequency and voltages using software, once

I am not sure if they got into the OS at that speed. From the video I got the impression that they adjusted the core frequency and voltages using software, once inside the OS.