Message ID | 1526340837-12222-3-git-send-email-paulmck@linux.vnet.ibm.com |
---|---|
State | New |
Headers | show
Delivered-To: patch@linaro.org Received: by 2002:a2e:9706:0:0:0:0:0 with SMTP id r6-v6csp248568lji; Mon, 14 May 2018 16:33:25 -0700 (PDT) X-Google-Smtp-Source: AB8JxZrN0hqt7zuky29i5ZmBIjcI82ZaW/rD98RAOFJuxtgLaPYTKRH2KlgPAhtLAdWbfd+Ir9np X-Received: by 2002:a63:3d0a:: with SMTP id k10-v6mr10161762pga.11.1526340805149; Mon, 14 May 2018 16:33:25 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1526340805; cv=none; d=google.com; s=arc-20160816; b=tIAbfTnbpS9tkNTnjD1u2lpLCHt6DsX7Nb6TBsfWGi4FphXlHbB5gazsvIsA6fhBug fUYPQkTShHxsdrN0O//+yyyL0/y427pJAgB1IbtwzlWaT/PdNKZq8gbI/W4LYevybE+X W0MiRrDOZD7dVsAJz3c2qMYg3fAhOlUKb0jd6I4hHBhpMH4ibNOgBnqz6/S46GWaS7nd eTxTmHLIboQ1Gxx605AKs75JudAflMrTvp0g+BgGOzshJXqRmYLuLdcqnnsiAkbNxJ5p 6fe0Wie9Xz+F6Y8s/DHQLwWV+fdxicpNl3EultJQJCahwNAcCCigTdtvLK2n6ZWrcsOa EKaw== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:sender:message-id:references:in-reply-to:date :subject:cc:to:from:arc-authentication-results; bh=DASSB+r09LFnH4AUHDKkeF6FYookH7ZOx6EmTlCRdU4=; b=Cd9iXWA4VAZKn70fqlSR+AB4riL3J56rO5t4IMWekE7Q1p4cE4i7UKKepLDKAOKps1 M4RLADc5h+hwqTo/iBUZaJTVKWnwqvgIynQeowdZ3zAy1UlFRMTtbZu5Qf1+msuOk5Dp lGet7zERv+VxDByRH1JHPmfXULkWUnEwgTV6EfFTZlrXdJcjDBZFLGv6Z4wriweAP5p9 LvsqSrfQULGdo05rWqCEYVLI02GubMiO3xebDi0aeSuaAZycYyjOQggvlsHYjBxTPGjW 0rP6hZzEF8Z5LjV96GAKjJyKHhrQmx0sBCD02MkyvZI8f2nDrIgOhNhZxT6omb/tj388 9lkQ== ARC-Authentication-Results: i=1; mx.google.com; spf=pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=fail (p=NONE sp=NONE dis=NONE) header.from=ibm.com Return-Path: <linux-kernel-owner@vger.kernel.org> Received: from vger.kernel.org (vger.kernel.org. [209.132.180.67]) by mx.google.com with ESMTP id q3-v6si8169950pgn.272.2018.05.14.16.33.24; Mon, 14 May 2018 16:33:25 -0700 (PDT) Received-SPF: pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) client-ip=209.132.180.67; Authentication-Results: mx.google.com; spf=pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=fail (p=NONE sp=NONE dis=NONE) header.from=ibm.com Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1752563AbeENXco (ORCPT <rfc822;ramon.fried@linaro.org> + 29 others); Mon, 14 May 2018 19:32:44 -0400 Received: from mx0b-001b2d01.pphosted.com ([148.163.158.5]:58222 "EHLO mx0a-001b2d01.pphosted.com" rhost-flags-OK-OK-OK-FAIL) by vger.kernel.org with ESMTP id S1752387AbeENXcd (ORCPT <rfc822;linux-kernel@vger.kernel.org>); Mon, 14 May 2018 19:32:33 -0400 Received: from pps.filterd (m0098416.ppops.net [127.0.0.1]) by mx0b-001b2d01.pphosted.com (8.16.0.22/8.16.0.22) with SMTP id w4ENOHlv073540 for <linux-kernel@vger.kernel.org>; Mon, 14 May 2018 19:32:33 -0400 Received: from e18.ny.us.ibm.com (e18.ny.us.ibm.com [129.33.205.208]) by mx0b-001b2d01.pphosted.com with ESMTP id 2hyh2aejjj-1 (version=TLSv1.2 cipher=AES256-GCM-SHA384 bits=256 verify=NOT) for <linux-kernel@vger.kernel.org>; Mon, 14 May 2018 19:32:32 -0400 Received: from localhost by e18.ny.us.ibm.com with IBM ESMTP SMTP Gateway: Authorized Use Only! Violators will be prosecuted for <linux-kernel@vger.kernel.org> from <paulmck@linux.vnet.ibm.com>; Mon, 14 May 2018 19:32:32 -0400 Received: from b01cxnp23034.gho.pok.ibm.com (9.57.198.29) by e18.ny.us.ibm.com (146.89.104.205) with IBM ESMTP SMTP Gateway: Authorized Use Only! Violators will be prosecuted; (version=TLSv1/SSLv3 cipher=AES256-GCM-SHA384 bits=256/256) Mon, 14 May 2018 19:32:27 -0400 Received: from b01ledav003.gho.pok.ibm.com (b01ledav003.gho.pok.ibm.com [9.57.199.108]) by b01cxnp23034.gho.pok.ibm.com (8.14.9/8.14.9/NCO v10.0) with ESMTP id w4ENWRHt27852904 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-GCM-SHA384 bits=256 verify=FAIL); Mon, 14 May 2018 23:32:27 GMT Received: from b01ledav003.gho.pok.ibm.com (unknown [127.0.0.1]) by IMSVA (Postfix) with ESMTP id E2259B2046; Mon, 14 May 2018 20:34:24 -0400 (EDT) Received: from paulmck-ThinkPad-W541 (unknown [9.70.82.108]) by b01ledav003.gho.pok.ibm.com (Postfix) with ESMTP id A98B1B2054; Mon, 14 May 2018 20:34:24 -0400 (EDT) Received: by paulmck-ThinkPad-W541 (Postfix, from userid 1000) id 71C4316C3BBE; Mon, 14 May 2018 16:33:58 -0700 (PDT) From: "Paul E. McKenney" <paulmck@linux.vnet.ibm.com> To: linux-kernel@vger.kernel.org, linux-arch@vger.kernel.org, mingo@kernel.org Cc: stern@rowland.harvard.edu, parri.andrea@gmail.com, will.deacon@arm.com, peterz@infradead.org, boqun.feng@gmail.com, npiggin@gmail.com, dhowells@redhat.com, j.alglave@ucl.ac.uk, luc.maranget@inria.fr, akiyks@gmail.com, "Paul E. McKenney" <paulmck@linux.vnet.ibm.com>, Ingo Molnar <mingo@redhat.com> Subject: [PATCH memory-model 03/19] tools/memory-model: Update required version of herdtools7 Date: Mon, 14 May 2018 16:33:41 -0700 X-Mailer: git-send-email 2.5.2 In-Reply-To: <20180514233328.GA7601@linux.vnet.ibm.com> References: <20180514233328.GA7601@linux.vnet.ibm.com> X-TM-AS-GCONF: 00 x-cbid: 18051423-0044-0000-0000-000004143D4D X-IBM-SpamModules-Scores: X-IBM-SpamModules-Versions: BY=3.00009026; HX=3.00000241; KW=3.00000007; PH=3.00000004; SC=3.00000260; SDB=6.01032383; UDB=6.00527784; IPR=6.00811514; MB=3.00021114; MTD=3.00000008; XFM=3.00000015; UTC=2018-05-14 23:32:31 X-IBM-AV-DETECTION: SAVI=unused REMOTE=unused XFE=unused x-cbparentid: 18051423-0045-0000-0000-0000084650F8 Message-Id: <1526340837-12222-3-git-send-email-paulmck@linux.vnet.ibm.com> X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10434:, , definitions=2018-05-14_06:, , signatures=0 X-Proofpoint-Spam-Details: rule=outbound_notspam policy=outbound score=0 priorityscore=1501 malwarescore=0 suspectscore=0 phishscore=0 bulkscore=0 spamscore=0 clxscore=1015 lowpriorityscore=0 impostorscore=0 adultscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.0.1-1709140000 definitions=main-1805140230 Sender: linux-kernel-owner@vger.kernel.org Precedence: bulk List-ID: <linux-kernel.vger.kernel.org> X-Mailing-List: linux-kernel@vger.kernel.org |
Series |
None
|
expand
|
diff --git a/tools/memory-model/README b/tools/memory-model/README index 0b3a5f3c9ccd..734f7feaa5dc 100644 --- a/tools/memory-model/README +++ b/tools/memory-model/README @@ -20,7 +20,7 @@ that litmus test to be exercised within the Linux kernel. REQUIREMENTS ============ -Version 7.48 of the "herd7" and "klitmus7" tools must be downloaded +Version 7.49 of the "herd7" and "klitmus7" tools must be downloaded separately: https://github.com/herd/herdtools7