Travis CI mascot

Hey there!

Looks like you have JavaScript disabled.

The Travis CI webclient needs JavaScript to work properly.

Please enable JavaScript to get the best Travis CI experience.

Thank you!

We couldn't display the repository
OP-TEE/optee_os

This repository may not exist or you may need to