4 ms·

I'm very ignorant of supercomputers but I can't really see how/why linux is a better choice than library oses / unikernels for this.