From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S933655AbeCGR11 (ORCPT ); Wed, 7 Mar 2018 12:27:27 -0500 Received: from mx0a-001b2d01.pphosted.com ([148.163.156.1]:57738 "EHLO mx0a-001b2d01.pphosted.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S932801AbeCGR1O (ORCPT ); Wed, 7 Mar 2018 12:27:14 -0500 From: "Paul E. McKenney" To: linux-kernel@vger.kernel.org, linux-arch@vger.kernel.org Cc: mingo@kernel.org, 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" Subject: [PATCH tools/memory-model 2/4] tools/memory-model: Remove mention of docker/gentoo image Date: Wed, 7 Mar 2018 09:27:38 -0800 X-Mailer: git-send-email 2.5.2 In-Reply-To: <1520443660-16858-1-git-send-email-paulmck@linux.vnet.ibm.com> References: <20180307172627.GA15805@linux.vnet.ibm.com> <1520443660-16858-1-git-send-email-paulmck@linux.vnet.ibm.com> X-TM-AS-GCONF: 00 x-cbid: 18030717-0008-0000-0000-000002E0DE8E X-IBM-SpamModules-Scores: X-IBM-SpamModules-Versions: BY=3.00008629; HX=3.00000241; KW=3.00000007; PH=3.00000004; SC=3.00000254; SDB=6.00999660; UDB=6.00508497; IPR=6.00779066; MB=3.00019896; MTD=3.00000008; XFM=3.00000015; UTC=2018-03-07 17:27:10 X-IBM-AV-DETECTION: SAVI=unused REMOTE=unused XFE=unused x-cbparentid: 18030717-0009-0000-0000-0000387D2C15 Message-Id: <1520443660-16858-2-git-send-email-paulmck@linux.vnet.ibm.com> X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10432:,, definitions=2018-03-07_08:,, 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-1803070200 Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org Because the docker and gentoo images haven't been updated in quite some time, they are likely to provide more confusion than help. This commit therefore removes mention of them from the README file. Reported-by: Alan Stern Signed-off-by: Paul E. McKenney --- tools/memory-model/README | 15 --------------- 1 file changed, 15 deletions(-) diff --git a/tools/memory-model/README b/tools/memory-model/README index ea950c566ffd..0b3a5f3c9ccd 100644 --- a/tools/memory-model/README +++ b/tools/memory-model/README @@ -27,21 +27,6 @@ separately: See "herdtools7/INSTALL.md" for installation instructions. -Alternatively, Abhishek Bhardwaj has kindly provided a Docker image -of these tools at "abhishek40/memory-model". Abhishek suggests the -following commands to install and use this image: - - - Users should install Docker for their distribution. - - docker run -itd abhishek40/memory-model - - docker attach - -Gentoo users might wish to make use of Patrick McLean's package: - - https://gitweb.gentoo.org/repo/gentoo.git/tree/dev-util/herdtools7 - -These packages may not be up-to-date with respect to the GitHub -repository. - ================== BASIC USAGE: HERD7 -- 2.5.2