search

CTSRD-CHERI / qemu

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

Added STIDC and UTIDC registers #247

Open francislaus opened 5 months ago

francislaus commented 5 months ago

This PR adds the SCRs for supervisor and user thread ID capability registers, which are used in compartmentalisation.

arichardson commented 5 months ago

The current spec has UTID as a view of STID (and no MTID at all), do we want to match that instead?

jrtc27 commented 5 months ago

The current spec has UTID as a view of STID (and no MTID at all), do we want to match that instead?

That's being changed, it was a bad idea to not have a separate ID register for S-mode's own use