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.