Add readme

diff --git a/README.md b/README.md
index e69de29bb2d1d6434b8b29ae775ad8c2e48c5391..29a0ecf2d4bec38c691e218bec128c45658f4d62 100644 (file)
--- a/README.md
+++ b/README.md
@@ -0,0 +1,17 @@
+# Load image:
+docker image load -i tsan11-tsan11rec-image.tar.gz
+
+# Create the container:
+docker create -it --name tsan11-tsan11rec-container tsan11-tsan11rec-image:asplos
+
+# Start the container
+docker start -ia tsan11-tsan11rec-container
+
+# To find the IP address of the container:
+$ docker inspect tsan11-tsan11rec-container
+
+# Then use scp to copy the scripts directory in the tsan11-tsan11rec-docker repository to the container (replace 172.17.0.2 by the container’s IP address):
+$ scp -i insecure\_key -r scripts root@172.17.0.2:/data
+
+# Logging into the container as root (replace 172.17.0.2 by the container’s IP address):
+$ ssh -i insecure\_key root@172.17.0.2