3 ms·Many people would be happy with a Valve gaming kernel.by wmf 10mo agoMany people would be happy with a Valve gaming kernel.eddythompson80 10mo agoMany are happy with a Sony gaming kernel as is.