1. 83f141e coverage-reporting: Add OP-TEE SPMC coverage support by Jelle Sels ยท 3 years ago