From e061b68dc865a0def6d343deed836fee8e45bc26 Mon Sep 17 00:00:00 2001
From: Volodymyr Shymanskyy <vshymanskyi@gmail.com>
Date: Tue, 26 Nov 2019 06:15:41 +0200
Subject: [PATCH] Running CoreMark-wasi in Wasm3

---
 test/benchmark/coremark/README.md | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/test/benchmark/coremark/README.md b/test/benchmark/coremark/README.md
index e4780e9..2432614 100644
--- a/test/benchmark/coremark/README.md
+++ b/test/benchmark/coremark/README.md
@@ -8,7 +8,13 @@ $ make compile PORT_DIR=linux CC=emcc EXE=-side.wasm XCFLAGS="-s SIDE_MODULE=1"
 $ make compile PORT_DIR=linux CC=emcc EXE=.html XCFLAGS="-g2"
 ```
 
-### Running WASI version
+### Running WASI version in Wasm3
+
+```sh
+../../../build/wasm3 coremark-wasi.wasm _start
+```
+
+### Running WASI version on other engines
 
 ```sh
 export ENGINES_PATH=/opt/wasm_engines