From 4d796b8315f4b1a080473b8d096446aac243433d Mon Sep 17 00:00:00 2001 From: Tariq Kurd Date: Thu, 23 Jan 2025 16:58:20 +0100 Subject: [PATCH] sealed exceptions missing --- src/riscv-integration.adoc | 2 +- src/trigger-integration.adoc | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/riscv-integration.adoc b/src/riscv-integration.adoc index 6867ef11..16054271 100644 --- a/src/riscv-integration.adoc +++ b/src/riscv-integration.adoc @@ -731,7 +731,7 @@ Load/store/AMO address breakpoint *Branch/jump target address checks (tag, execute permissions, invalid address and bounds)* | .>|*{cheri_excep_mcause}* .<|*Prior to address translation for an explicit memory access:* + -*CHERI fault due to capability checks (tag, permissions, invalid address and bounds)* +*CHERI fault due to capability checks (tag, sealed, permissions, invalid address and bounds)* | .>|4,6 .<|*Load/store/AMO capability address misaligned* + Optionally: + Load/store/AMO address misaligned diff --git a/src/trigger-integration.adoc b/src/trigger-integration.adoc index 6ad27d94..12a798c1 100644 --- a/src/trigger-integration.adoc +++ b/src/trigger-integration.adoc @@ -44,7 +44,7 @@ Environment break | *Branch/jump target address checks (tag, execute permissions, invalid address and bounds)* | | .>|*{cheri_excep_mcause}* .<|*Prior to address translation for an explicit memory access:* + *Load/store/AMO capability address misaligned* + -*CHERI fault due to capability checks (tag, permissions, invalid address and bounds)* | +*CHERI fault due to capability checks (tag, sealed, permissions, invalid address and bounds)* | | .>|4,6 .<|Optionally: + Load/store/AMO address misaligned |