​How Red Hat Linux is helping reclaim the fastest supercomputer title for the US

It's not just the chips in the Department of Energy's record-breaking Summit supercomputer, which is setting new speed records; it's also Red Hat Enterprise Linux.