lkml.org 
[lkml]   [2018]   [Aug]   [31]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
Date
From
SubjectRe: [PATCH RFC LKMM 7/7] EXP tools/memory-model: Add .cfg and .cat files for s390
Hi Paul,

On Wed, Aug 29, 2018 at 02:10:53PM -0700, Paul E. McKenney wrote:
> This commit adds s390.cat and s390.cfg files to allow users to check
> litmus tests for s390-specific code. Note that this change only enables
> herd7 checking of C-language litmus tests. Larger changes are required
> to enable the litmus7 and klitmus7 tools to check litmus tests on real
> hardare.
>
> Suggested-by: Martin Schwidefsky <schwidefsky@de.ibm.com>
> Suggested-by: Christian Borntraeger <borntraeger@de.ibm.com>
> Signed-off-by: Paul E. McKenney <paulmck@linux.vnet.ibm.com>
> [ paulmck: Add fixes suggested by Alan Stern. ]
> ---
> tools/memory-model/s390.cat | 18 ++++++++++++++++++
> tools/memory-model/s390.cfg | 21 +++++++++++++++++++++
> 2 files changed, 39 insertions(+)
> create mode 100644 tools/memory-model/s390.cat
> create mode 100644 tools/memory-model/s390.cfg

As I said before, I'd *much* prefer this to be part of the upstream
herdtools7 repository. It's not really anything to do with the Linux
kernel, so I don't think it belongs in the source tree.

Cheers,

Will

\
 
 \ /
  Last update: 2018-08-31 18:07    [W:0.215 / U:3.984 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site