From 226a5d370d71df42fd037d7f982d2b642361ed36 Mon Sep 17 00:00:00 2001 From: Tariq Kurd Date: Fri, 13 Dec 2024 17:43:33 +0100 Subject: [PATCH] add CR --- src/trigger-integration.adoc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/trigger-integration.adoc b/src/trigger-integration.adoc index ba261bd8..e09dccc9 100644 --- a/src/trigger-integration.adoc +++ b/src/trigger-integration.adoc @@ -59,4 +59,4 @@ CHERI load <> fault |_Lowest_ .>|3 .<| |mcontrol/mcontrol6 load data before |=== -NOTE: See the notes beneath <> for details about CHERI <> page fault priority. \ No newline at end of file +NOTE: See the notes beneath <> for details about CHERI <> page fault priority.