YoannPruvost

> Hi @YoannPruvost. Is this PR related to [cv32e40p #717](https://github.com/openhwgroup/cv32e40p/pull/717)? Should that PR be completed before this one? Hi @MikeOpenHWGroup yes, the pull request on the core should be completed...

Hi @MikeOpenHWGroup the external repo has been updated so we can merge this PR. Cheers