From 815dee9743d53ab8ac61dd3be5a1f884297f1b45 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Henrik=20Tj=C3=A4der?= <henrik@tjaders.com>
Date: Thu, 30 Nov 2017 13:26:23 +0100
Subject: [PATCH] Added notes on how to install the docker container for KLEE
 support

---
 README.md | 64 +++++++++++++++++++++++++++++++++++++++++++++++++++++--
 1 file changed, 62 insertions(+), 2 deletions(-)

diff --git a/README.md b/README.md
index f9f37bd..0d8ebd1 100644
--- a/README.md
+++ b/README.md
@@ -1,5 +1,65 @@
-# SRP lab in d7020e
----
+RTFM-4-SURE SRP analysis example
+================================
+
+Install the following docker container
+
+```
+docker pull afoht/rtfm4sure
+```
+
+Create the container
+
+This will create a folder in the current working directory named
+klee_docker.
+
+In this shared folder the tools and the sources will reside.
+
+How to create a new docker from latest image
+
+```
+docker run -it --name=rtfm4sure -v $PWD/klee_docker:/root/shared_dir afoht/rtfm4sure:latest /bin/bash
+```
+
+Now get the actual program (from your regular computer, not the container):
+
+```
+sudo chown $USER klee_docker
+cd klee_docker
+git clone https://gitlab.henriktjader.com/d7020e/d7020e_srp.git
+cd d7020e_srp
+
+git checkout klee
+```
+
+With the container running, ensure that the docker can reach port 3333 on the host.
+(Double check no firewalls block access)
+
+Start OpenOCD on the host, connect it to your microcontroller.
+
+```
+openocd -f st_nucleo_f4_itm.cfg
+```
+
+The st_nucleo_f4_itm.cfg file is located in the git repo inside the docker (use two different terminals for convenience):
+
+Finally, inside the docker shell:
+
+```
+cd /root/shared_dir/d7020e_srp
+```
+
+To run the suite of tools:
+
+```
+make bench
+```
+
+After a successful run the output folder contains a database and scripts for parsing this database.
+
+
+SRP lab in d7020e
+---------------
+
 ## Install
 
 Open terminal
-- 
GitLab