Hi Michel,

Some of the configurations on ST platform building is broken.

Please see the details in the following ticket:

https://developer.trustedfirmware.org/T808

Would you please have a look.

Thanks.

Best Regards,

Kevin