Merge - "master"->"cv32e40s/dev"
Created by: silabs-robin
This PR merges "master" into "cv32e40s/dev".
There were only a few conflicts and a tiny bit to clean up to get compilation running again. See the commit log for the changes I had to apply (I resolved the conflict in a separate commit).
This brings in fixes to ISACOV. Most of the diff is within the cva6 directory. Some other top-level files don't affect us at all.
Test status:
- ci_check - 100% green. (NB! We are running without the ISS during the 0.9.0 transission.)
- Coverage - ISACOV still samples data.
- Formal - Still works.