Updated the README references to docker

README.md

@@ -13,52 +13,23 @@ The build system handles the switching between "analysis" and "execution" stages
 
 # Installation
 
-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
+Get the actual program (from your regular computer, not the container):
 
 ```
-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
-```
+The st_nucleo_f4_itm.cfg file is located in the git repo.
 
 To run the suite of tools:
 
@@ -82,7 +53,7 @@ cd ~/workspace
 git clone https://gitlab.henriktjader.com/d7020e/d7020e_srp.git
 ```
 
-The code for KLEE-analysis is aquired by running:
+The code for KLEE-analysis is acquired by running:
 
 ```
 git checkout klee