Merge cv32e40s 2023.11.16 13.09
Created by: silabs-robin
This PR merges s/dev
into x-dv
.
Rejection diff: https://github.com/silabs-robin/cv32e40x-dv/compare/merge_cv32e40s_2023.11.16-13.09..silabs-robin:cv32e40x-dv:theirs_cv32e40s_2023.11.16-13.09
Test status:
- Formal: Compiles, runs, no obvious problems.
- ci_check: OK