search

microsoft / cheriot-ibex

cheriot-ibex is a RTL implementation of CHERIoT ISA based on LowRISC's Ibex core.
Apache License 2.0
73 stars 14 forks source link

Upgrade primitives #29

Closed marnovandermaas closed 4 months ago

marnovandermaas commented 5 months ago

I did this for the Sonata system, not sure if you're interested in having this upstream as well. The updated primitives do not actually affect CHERIoT Ibex.

The first four commits are cherry picked from the main Ibex repository and the last one is generated using the vendoring script:

$PATH_TO_OPENTITAN/util/vendor.py --commit --update --verbose vendor/lowrisc_ip.vendor.hjson
marnovandermaas commented 4 months ago

I think a better strategy might be to update the primitives by rebasing on top of upstream. I'm closing this PR because of that and also because it is not really necessary to change this for CHERIoT Ibex itself.