/bl32/optee/

• ../
• optee.mk