Merge the wb_controller_e40x branch to cv32e40x/dev
requested to merge github/fork/strichmo/strichmo/pr/merge_wb_controller_e40x_to_dev into cv32e40x/dev
Created by: strichmo
Points to the latest cv32e40x master controller. Due to RVFI/instability some ci_check, rel_check restrictions exist:
- Stalls are disabled
- Some rel_check CSR tests are disabled until can be fixed
Also note that DSIM is having issues with some tests so GitHub CI actions may fail.