Skip to content

coverage-reporting: Add OP-TEE SPMC coverage support

Saul Romero requested to merge saurom01 into master

We want to use the trace tool to get the coverage results of the OP-TEE SPMC testing(OP-TEE is a OS running in S-EL1). To be able to do this properly we need some new functionality:

  • Some of the regex functions where not properly catching all of the functions.
  • When testing OP-TEE SPMC we also run a full linux os:
    • We are only interested in recording the Secure World: Add a parameter to select which mode (exception level) needs to be traced. This decreases our run time a lot.
    • The simulation never stops and the results where never saved. Allow changing the parameters. When the trace_prefix parameter is changed at run-time we perform a save.
Edited by Saul Romero

Merge request reports