search

CTSRD-CHERI / qemu

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

morello: require Executive to access {RDDC,RSP}_EL0 #249

Closed kwitaszczyk closed 4 months ago

kwitaszczyk commented 4 months ago

3.2.33, 3.2.34 and 3.2.35 describing RDDC_EL0, RSP_EL0 and RTPIDR_EL0 in the Morello ISA [1] specify that read and write operations for these registers require the Executive mode in Morello.

Limit the access to RDDC_EL0 and RSP_EL0 as specific in the ISA. Note that this limitation was already implemented for RTPIDR_EL0.

[1] https://developer.arm.com/documentation/ddi0606/ak/

kwitaszczyk commented 4 months ago

A more complete PR https://github.com/CTSRD-CHERI/qemu/pull/248 was submitted just before this one.