From 04fb799d5f3644bc5b3bf9c2c14ae65777069e5b Mon Sep 17 00:00:00 2001
From: Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de>
Date: Mon, 24 Oct 2016 16:14:31 +0200
Subject: [PATCH] Added docker link

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

diff --git a/README.md b/README.md
index 11049c4..7fc75fd 100644
--- a/README.md
+++ b/README.md
@@ -19,7 +19,13 @@ docker/ - docker image to do WCRT analysis
 The directory contains a docker file and a prebuilt PATMOS toolchain
 that can be used for WCRT analysis, including our minor adaptions on
 the official toolchain. The docker image includes a clone of dOSEK and
-the platin repository. In order to reproduce the TMR benchmark, just
+the platin repository. You can either build the docker image yourself
+or pull it from Dockerhub
+
+    docker pull stettberger/syswcet # or
+    make docker-build
+
+In order to reproduce the TMR benchmark, just
 log into the docker image via SSH (user/password: dosek/dosek):
 
     make docker-start
-- 
GitLab