Add documentation for DeveloperBox
This adds a DeveloperBox device-specific document, and updates
build.git and manifest.git support table.
Signed-off-by: Pipat Methavanitpong <pipat.methavanitpong@linaro.org>
Reviewed-by: Joakim Bech <joakim.bech@linaro.org>
diff --git a/building/devices/devbox.rst b/building/devices/devbox.rst
new file mode 100644
index 0000000..10119e7
--- /dev/null
+++ b/building/devices/devbox.rst
@@ -0,0 +1,45 @@
+.. _devbox:
+
+############
+DeveloperBox
+############
+
+The instructions here will tell how to build OP-TEE for `DeveloperBox`_.
+
+.. _devbox_build_instructions:
+
+Build instructions
+******************
+
+1. Follow the ":ref:`get_and_build_the_solution`" in :ref:`build`
+ from step 1 to step 3.
+
+2. Initialize EDK2 submodule
+
+ .. code-block:: bash
+ :linenos:
+
+ $ cd <optee-project>/edk2
+ $ git submodule update --init
+
+3. Follow ":ref:`get_and_build_the_solution`" step 4 & 5
+
+4. Stage a new OP-TEE update capsule. This updates TF-A, OP-TEE and UEFI.
+
+ .. code-block:: bash
+ :linenos:
+
+ $ fwupdate --apply {50b94ce5-8b63-4849-8af4-ea479356f0e3} \
+ > <optee-project>/edk2-platforms/Build/DeveloperBox/RELEASE_GCC5/FV/\
+ > SYNQUACERFIRMWAREUPDATECAPSULEFMPPKCS7.Cap
+
+ .. hint::
+
+ Change ``RELEASE_GCC5`` to ``DEBUG_GCC5`` for debug build.
+
+5. Reboot to update.
+
+6. Follow the rest of":ref:`get_and_build_the_solution`" from step 7
+
+
+.. _DeveloperBox: https://www.96boards.org/product/developerbox/