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