Skip to content

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.

Merge request reports

Loading