Michael Walle 4c450daf7d board: sl28: add OP-TEE Trusted OS support (bl32) ... Add support to load the OP-TEE Trusted OS by the SPL. Signed-off-by: Michael Walle <michael@walle.cc>		2020-12-04 16:09:06 -05:00
..
sl28	board: sl28: add OP-TEE Trusted OS support (bl32)	2020-12-04 16:09:06 -05:00