Add script for running rmem

Signed-off-by: Will Deacon <will.deacon@arm.com>
1 file changed
tree: fe30ed96763e02c899a6b8c722e0807f671e9971
  1. compiler.h
  2. kernel.h
  3. main.c
  4. Makefile
  5. qrwlock.c
  6. qrwlock.h
  7. rmem.h
  8. run-batch.sh