search

CTSRD-CHERI / qemu

QEMU with support for CHERI
Other
54 stars 28 forks source link

generate appropriate code to store capability value for plugin #215

Closed jeremysinger closed 1 year ago

jeremysinger commented 1 year ago

tiny code gen support for capabilities for QEMU TCG plugins

jeremysinger commented 1 year ago

This links with pull request https://github.com/CTSRD-CHERI/cheribuild/pull/349

arichardson commented 1 year ago

CI is just a timeout so this LGTM.

jrtc27 commented 1 year ago

This should have gone to dev not qemu-cheri, so now the two branches have diverged