Created by: pascalgouedo
... https://github.com/openhwgroup/cv32e40p/commit/1a58c7b7666ac693d936c45b4ed9dc0d762e1bf6#commitcomment-138230716