From 69ce06b180005a59d2d5001f70e275d9f58bd2b2 Mon Sep 17 00:00:00 2001
From: Stefan Lankes <stlankes@users.noreply.github.com>
Date: Sat, 22 Apr 2017 13:40:06 +0200
Subject: [PATCH 1/2] Installation at a user defined location

add small description to install HermitCore at a user defined location
---
 README.md | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 4e26b305c..5f08467e9 100644
--- a/README.md
+++ b/README.md
@@ -104,8 +104,13 @@ $ cmake -DTOOLCHAIN_BIN_DIR=/home/user/hermit/bin ..
 ```
 
 assuming that binaries like `x86_64-hermit-gcc` and friends are located in that
-directory.
+directory. To install your new version in the same directory, you have to set the installation path and to install HermitCore as follows:
 
+```bash
+$ cmake -DTOOLCHAIN_BIN_DIR=/home/user/hermit/bin -DCMAKE_INSTALL_PREFIX=/home/user/hermit ..
+$ make
+$ make install
+```
 
 ## Testing
 

From b2769d71626c109f06625fa85f6f20aca3eeb3e4 Mon Sep 17 00:00:00 2001
From: Stefan Lankes <stlankes@users.noreply.github.com>
Date: Sat, 22 Apr 2017 14:06:35 +0200
Subject: [PATCH 2/2] add note about the requirements

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

diff --git a/README.md b/README.md
index 5f08467e9..ee6b767b2 100644
--- a/README.md
+++ b/README.md
@@ -112,6 +112,8 @@ $ make
 $ make install
 ```
 
+**Note:** If you use the cross compiler outside of this repository, the compiler uses per default the library operating systems located by the toolchain (e.g. `/opt/hermit/x86_64-hermit/lib/libhermit.a`).
+
 ## Testing
 
 ### As multi-kernel within a virtual machine