From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id CB2D77EE1D for ; Fri, 30 Jun 2017 16:15:30 +0200 (CEST) X-IronPort-AV: E=Sophos;i="5.40,286,1496095200"; d="scan'208";a="230154138" Received: from estephe.paris.inria.fr (HELO [128.93.64.229]) ([128.93.64.229]) by mail3-relais-sop.national.inria.fr with ESMTP; 30 Jun 2017 16:15:30 +0200 From: Xavier Leroy To: OCaml Mailing List References: <0ea087b1-7267-eee6-3dd5-55a760d8f4cd@inria.fr> Message-ID: Date: Fri, 30 Jun 2017 16:15:30 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.1.1 MIME-Version: 1.0 In-Reply-To: <0ea087b1-7267-eee6-3dd5-55a760d8f4cd@inria.fr> Content-Type: text/plain; charset=utf-8 Content-Language: en-US Content-Transfer-Encoding: 7bit Subject: Re: [Caml-list] [IMPORTANT] Intel Skylake / Kaby Lake hardware bug affects OCaml programs Clarification: > Possible fixes include: > > - Apply the microcode update recently released by Intel [...] Contradicting what I wrote before, microcode updates are available both for Skylake and for Kaby Lake processors. It's only how to apply those updates that differs slightly between Skylake and Kaby Lake. Again, see the excellent instructions at https://lists.debian.org/debian-devel/2017/06/msg00308.html Sorry for the confusion. - Xavier Leroy