| Joakim Bech | 8e5c5b3 | 2018-10-25 08:18:32 +0200 | [diff] [blame] | 1 | .. _ti: |
| 2 | |
| 3 | ###################### |
| 4 | Texas Instruments SoCs |
| 5 | ###################### |
| 6 | The instructions here will tell how to run OP-TEE on Texas Instruments devices. |
| 7 | Secure TI devices require a boot image that is authenticated by ROM code to |
| 8 | function. Without this, even JTAG remains locked. In order to create a valid |
| 9 | boot image for a secure device from TI, the initial public software image must |
| 10 | be signed and combined with various headers, certificates, and other binary |
| 11 | images. |
| 12 | |
| 13 | Information on the details on the complete boot image format can be obtained |
| 14 | from Texas Instruments. The tools used to generate boot images for secure |
| 15 | devices are part of a secure development package (SECDEV) that can be downloaded |
| 16 | from: |
| 17 | |
| 18 | http://www.ti.com/mysecuresoftware (login required) |
| 19 | |
| 20 | The secure development package is access controlled due to NDA and export |
| 21 | control restrictions. Access must be requested and granted by TI before the |
| 22 | package is viewable and downloadable. Contact TI, either online or by way of a |
| 23 | local TI representative, to request access. |
| 24 | |
| 25 | Regular build |
| 26 | ************* |
| 27 | Start out by following the :ref:`get_and_build_the_solution` as described in |
| 28 | :ref:`build`. Stop before the section on flashing the device, this is currently |
| 29 | not supported automatically. |
| 30 | |
| 31 | Booting the device |
| 32 | ****************** |
| 33 | SD Card boot |
| 34 | ============ |
| 35 | Create two partitions on an SD card, ``boot`` of type ``FAT16`` and ``rootfs`` |
| 36 | of type ``EXT4``. To prevent accidental data loss we do not attempt this |
| 37 | automatically (the RPI3 :ref:`rpi3_build_instructions` use a similar SD card |
| 38 | layout, you can refer to that page for details). |
| 39 | |
| 40 | Extract the generated rootfs to the ``rootfs`` partition |
| 41 | |
| 42 | .. code-block:: bash |
| 43 | |
| 44 | $ cd <SD card rootfs partition> |
| 45 | $ gunzip -cd <repo directory>/gen_rootfs/filesystem.cpio.gz | sudo cpio -idm |
| 46 | |
| 47 | Add the bootloader to the ``boot`` partition |
| 48 | |
| 49 | .. code-block:: bash |
| 50 | |
| 51 | $ cd <SD card boot partition> |
| 52 | $ cp <repo directory>/u-boot/u-boot-spl_HS_MLO MLO |
| 53 | $ cp <repo directory>/u-boot/u-boot_HS.img u-boot.img |