From e3aff9f4acab1395b65db42c8e597c32810d0991 Mon Sep 17 00:00:00 2001
From: "Andrew F. Davis" <afd@ti.com>
Date: Mon, 16 Jan 2017 16:49:39 -0600
Subject: [PATCH] Add dra7xx.md

Signed-off-by: Andrew F. Davis <afd@ti.com>
Reviewed-by: Joakim Bech <joakim.bech@linaro.org>
---
 README.md      |  1 +
 docs/dra7xx.md | 56 ++++++++++++++++++++++++++++++++++++++++++++++++++
 2 files changed, 57 insertions(+)
 create mode 100644 docs/dra7xx.md

diff --git a/README.md b/README.md
index 156e097..2de2a6d 100644
--- a/README.md
+++ b/README.md
@@ -98,6 +98,7 @@ Here is a list of manifests for the devices currently supported.
 | MediaTek MT8173 EVB Board | `mt8173-evb.xml` | `mt8173-evb_stable.xml` |
 | ARM Juno board| `juno.xml` | `juno_stable.xml` |
 | Raspberry Pi 3 | `rpi3.xml` | `rpi3_stable.xml` |
+| DRA7xx | `dra7xx.xml` | `dra7xx_stable.xml` |
 
 # 7. Get and build the solution
 Below we will describe the general way of getting the source, building the
diff --git a/docs/dra7xx.md b/docs/dra7xx.md
new file mode 100644
index 0000000..fb7931b
--- /dev/null
+++ b/docs/dra7xx.md
@@ -0,0 +1,56 @@
+# OP-TEE on Texas Instruments DRA7xx
+
+# Contents
+1. [Introduction](#1-introduction)
+2. [Regular build](#2-regular-build)
+3. [Booting the device](#3-booting-the-device)
+
+# 1. Introduction
+The instructions here will tell how to run OP-TEE on the DRA7xx-EVM board.
+Secure TI devices require a boot image that is authenticated by ROM
+code to function. Without this, even JTAG remains locked. In order to create
+a valid boot image for a secure device from TI, the initial public software
+image must be signed and combined with various headers, certificates, and
+other binary images.
+
+Information on the details on the complete boot image format can be obtained
+from Texas Instruments. The tools used to generate boot images for secure
+devices are part of a secure development package (SECDEV) that can be
+downloaded from:
+
+	http://www.ti.com/mysecuresoftware (login required)
+
+The secure development package is access controlled due to NDA and export
+control restrictions. Access must be requested and granted by TI before the
+package is viewable and downloadable. Contact TI, either online or by way
+of a local TI representative, to request access.
+
+# 2. Regular build
+Start out by following the "Get and build the solution" in the [README.md] file.
+Stop before the section on flashing the device, this is currently not supported
+automatically.
+
+# 3. Booting the device
+
+## 3.1 SD Card boot
+
+Create two partitions on an SD card, 'boot' of type FAT16 and 'rootfs' of type
+EXT4. To prevent accidental data loss we do not attempt this automatically, the
+RPI3 instructions use a similar SD card layout, you can refer to that page for
+details.
+
+Extract the generated rootfs to the 'rootfs' partition
+```
+# cd <SD card rootfs partition>
+# gunzip -cd <repo directory>/gen_rootfs/filesystem.cpio.gz | sudo cpio -idm
+```
+
+Add the bootloader to the 'boot' partition
+```
+# cd <SD card boot partition>
+# cp <repo directory>/u-boot/u-boot-spl_HS_MLO MLO
+# cp <repo directory>/u-boot/u-boot_HS.img u-boot.img
+# cp <repo directory>/build/dra7xx/uEnv.txt uEnv.txt
+```
+
+[README.md]: ../README.md
-- 
GitLab