Merge - x2s (!1984) · Merge requests · OpenHW Group / backup-20241120 / core-v-verif

Eclipse Webmaster requested to merge cv32e40x/dev into cv32e40s/dev Jun 19, 2023

Created by: silabs-robin

This PR merges cv32e40x/dev into cv32e40s/dev.

There is virtually nothing in this PR, but I'd rather do everything related to these merges correctly than have minor unfinished parts that may or may not be confusing later.

Merge - x2s

Merge request reports