diff options
| author | Amit Singh Tomar <amittomer25@gmail.com> | 2018-06-20 00:44:50 +0530 |
|---|---|---|
| committer | Andre Przywara <andre.przywara@arm.com> | 2018-06-28 23:47:30 +0100 |
| commit | dab901f83a9fd65aba53551301912375cf97a6d6 (patch) | |
| tree | e55231c76514dc9958a1a3669864db69cb800e41 /include/lib/stdlib/stdlib.h | |
| parent | d5a0491c811d7e7558c0f7b14c805d804721c854 (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 'include/lib/stdlib/stdlib.h')
0 files changed, 0 insertions, 0 deletions