tree 318c802b9bb2c147d7df22ad365554dd7762fef9
parent 31e7abc4518c3d30e3c8ba7cd9063a83071fb766
author Varun Wadekar <vwadekar@nvidia.com> 1433489247 +0530
committer Varun Wadekar <vwadekar@nvidia.com> 1434014192 +0530

Boot Trusted OS' on Tegra SoCs

This patch adds support to run a Trusted OS during boot time. The
previous stage bootloader passes the entry point information in
the 'bl32_ep_info' structure, which is passed over to the SPD.

The build system expects the dispatcher to be passed as an input
parameter using the 'SPD=<dispatcher>' option. The Tegra docs have
also been updated with this information.

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