Cv32e40x dev merge 2023 11 16
Created by: silabs-robin
This PR merges s/dev
into x/dev
.
Note: Also updated x-dv hash for ./bin/clonetb -x
.
Test status:
- Formal: Compiles, runs, no obvious problems. (There are some CEXes I've seen before, not new in this PR.)
- ci_check: All green.