private static function isLinuxKernel($kernelName) { return preg_match('/^Linux/', $kernelName) === 1; }