diff --git a/README.md b/README.md
index c9423cc0500257563f477aec32d5810934bfdb48..7f503c201c4954204b5ccc76089cf49f27374a90 100644
--- a/README.md
+++ b/README.md
@@ -102,7 +102,7 @@ Here is a list of manifests for the devices currently supported.
 # 7. Get and build the solution
 Below we will describe the general way of getting the source, building the
 solution and how to run xtest on the device. For device specific instructions,
-see the respective `device.md` file in the [devices] folder.
+see the respective `device.md` file in the [docs] folder.
 
 ## 7.1 Prerequisites
 We believe that you can use any Linux distribution to build OP-TEE, but as
@@ -241,7 +241,7 @@ don't have to think about anything.
 Please have a look at out [FAQ] file for a list of questions commonly asked.
 
 [ccache]: https://ccache.samba.org
-[devices]: devices
+[docs]: docs
 [FAQ]: faq.md
 [git submodules]: https://git-scm.com/book/en/v2/Git-Tools-Submodules
 [manifest/README.md]: https://github.com/OP-TEE/manifest/blob/master/README.md
diff --git a/devices/fvp.md b/docs/fvp.md
similarity index 100%
rename from devices/fvp.md
rename to docs/fvp.md
diff --git a/devices/hikey.md b/docs/hikey.md
similarity index 100%
rename from devices/hikey.md
rename to docs/hikey.md
diff --git a/devices/juno.md b/docs/juno.md
similarity index 100%
rename from devices/juno.md
rename to docs/juno.md
diff --git a/devices/mtk8173.md b/docs/mtk8173.md
similarity index 100%
rename from devices/mtk8173.md
rename to docs/mtk8173.md
diff --git a/devices/qemu.md b/docs/qemu.md
similarity index 100%
rename from devices/qemu.md
rename to docs/qemu.md
diff --git a/devices/rpi3.md b/docs/rpi3.md
similarity index 100%
rename from devices/rpi3.md
rename to docs/rpi3.md