diff options
| author | Amit Singh Tomar <amittomer25@gmail.com> | 2018-06-20 00:44:50 +0530 |
|---|---|---|
| committer | Amit Singh Tomar <amittomer25@gmail.com> | 2018-06-23 12:20:05 +0530 |
| commit | 30fb0d67c32dba4792da9c751d3a359f9b32baa7 (patch) | |
| tree | 01996d356d02011bc9e31c0446fbec714889680f /lib/psci/psci_setup.c | |
| parent | b70dcbc17222687859ac1cf58d4d7c5cb5c379fe (diff) | |
allwinner: Add BL32 (corresponds to Trusted OS) support
This patch is an attempt to run Trusted OS (OP-TEE OS being one of them) along
side BL31 image.
ATF supports multiple SPD's that can take dispatcher name (opteed for OP-TEE OS)
as an input using the 'SPD=<dispatcher name>' option during bl31 build.
Signed-off-by: Amit Singh Tomar <amittomer25@gmail.com>
Diffstat (limited to 'lib/psci/psci_setup.c')
0 files changed, 0 insertions, 0 deletions