Look at attached file. This file is available in u-boot source code in NXP LSDK 1709.
See information about EL2 and EL3 in the u-boot.
Have a great day,
Pavel Chubakov
-----------------------------------------------------------------------------------------------------------------------
Note: If this post answers your question, please click the Correct Answer button. Thank you!
-----------------------------------------------------------------------------------------------------------------------