Varun Wadekar 0a34d1e6df TLK-D documentation and add NVIDIA to the Acknowledgements file ...

Include TLK Dispatcher's documentation and add NVIDIA to the
Acknowledgements file. TLK is now a supported Trusted OS with
the Trusted Firmware.

Signed-off-by: Varun Wadekar <vwadekar@nvidia.com>

2015-03-31 10:11:47 +05:30

..

diagrams

Document design of the Interrupt Mangement Framework

2014-06-03 18:42:14 +01:00

change-log.md

Documentation for version 1.1

2015-02-03 11:43:43 +00:00

cpu-specific-build-macros.md

Miscellaneous doc fixes for v1.1

2015-02-02 17:46:32 +00:00

firmware-design.md

Merge pull request #254 from achingupta/ag/v1.1-doc-updates

2015-02-03 13:13:16 +00:00

interrupt-framework-design.md

Create Table of Content links in markdown files

2015-01-07 15:01:07 +01:00

optee-dispatcher.md

Add opteed based on tspd

2014-09-16 11:51:54 -07:00

porting-guide.md

Export maximum affinity using PLATFORM_MAX_AFFLVL macro

2015-02-12 15:12:52 +00:00

rt-svc-writers-guide.md

Documentation for version 1.1

2015-02-03 11:43:43 +00:00

tlk-dispatcher.md

TLK-D documentation and add NVIDIA to the Acknowledgements file

2015-03-31 10:11:47 +05:30

trusted-board-boot.md

TBB: use SHA256 to generate the certificate signatures

2015-03-05 16:40:07 +00:00

user-guide.md

Fix model command line for legacy VE memory map

2015-02-04 14:29:32 +00:00