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
tf-m@lists.trustedfirmware.org