Skip to content

Tags: CTSRD-CHERI/qemu

Tags

cheri-rel-20210817

Toggle cheri-rel-20210817's commit message
Summer 2021 Release Tag for CHERI Repos

cheri-rel-20210817-morello

Toggle cheri-rel-20210817-morello's commit message
Summer 2021 Release Tag for CHERI Repos

fett-temporal-20200827

Toggle fett-temporal-20200827's commit message
CHERI MIPS: remove cexeq helper in favor of cseqx instead

While "cseqx" may not be the most ideal name for op_helper_cheri_common.c, it
would be awkward to make the RISC-V translation logic use a different name.

fett-purecap-20200806

Toggle fett-purecap-20200806's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
[CHERI-MIPS] raise TLBS/AdES for MMU_DATA_CAP_STORE (#114)

We were previously raising load exceptions for this case since
MMU_DATA_CAP_STORE was not treated the same way as MMU_DATA_STORE.

fett-202007070

Toggle fett-202007070's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
[CHERI-MIPS] raise TLBS/AdES for MMU_DATA_CAP_STORE (#114)

We were previously raising load exceptions for this case since
MMU_DATA_CAP_STORE was not treated the same way as MMU_DATA_STORE.

fett-20200723

Toggle fett-20200723's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
[CHERI-MIPS] raise TLBS/AdES for MMU_DATA_CAP_STORE (#114)

We were previously raising load exceptions for this case since
MMU_DATA_CAP_STORE was not treated the same way as MMU_DATA_STORE.

fett-20200713

Toggle fett-20200713's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
[CHERI-MIPS] raise TLBS/AdES for MMU_DATA_CAP_STORE (#114)

We were previously raising load exceptions for this case since
MMU_DATA_CAP_STORE was not treated the same way as MMU_DATA_STORE.

fett-20200712

Toggle fett-20200712's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
[CHERI-MIPS] raise TLBS/AdES for MMU_DATA_CAP_STORE (#114)

We were previously raising load exceptions for this case since
MMU_DATA_CAP_STORE was not treated the same way as MMU_DATA_STORE.

fett-20200710

Toggle fett-20200710's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
[CHERI-MIPS] raise TLBS/AdES for MMU_DATA_CAP_STORE (#114)

We were previously raising load exceptions for this case since
MMU_DATA_CAP_STORE was not treated the same way as MMU_DATA_STORE.

fett-20200708

Toggle fett-20200708's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
[CHERI-MIPS] raise TLBS/AdES for MMU_DATA_CAP_STORE (#114)

We were previously raising load exceptions for this case since
MMU_DATA_CAP_STORE was not treated the same way as MMU_DATA_STORE.