Searched hist:dc7fdad251301019162707325a949c27905b4e71 (Results 1 – 2 of 2) sorted by relevance
| /rk3399_ARM-atf/plat/nvidia/tegra/include/ |
| H A D | platform_def.h | dc7fdad251301019162707325a949c27905b4e71 Fri Jun 05 07:27:27 UTC 2015 Varun Wadekar <vwadekar@nvidia.com> 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>
|
| /rk3399_ARM-atf/plat/nvidia/tegra/common/ |
| H A D | tegra_bl31_setup.c | dc7fdad251301019162707325a949c27905b4e71 Fri Jun 05 07:27:27 UTC 2015 Varun Wadekar <vwadekar@nvidia.com> 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>
|