replace title for cheri/morello (#391)

Signed-off-by: Birgit Brecknell <b@brck.nl>
seL4 · Aug 25, 2024 · 4acd6c2 · 4acd6c2
1 parent 04cab01
commit 4acd6c2
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/Foundation/Summit/2024/program.html b/Foundation/Summit/2024/program.html
@@ -310,7 +310,7 @@ <h4>Summit</h4>
   <tr id="p-cheri-morello">
     <td>10:30 - 11:00</td>
     <td>Talk</td>
-    <td><a href="abstracts2024.html#a-cheri-morello">seL4 CHERI/Morello port</a><br><span class="summit-abstract-presenter">Hesham Almatary</span>,
+    <td><a href="abstracts2024.html#a-cheri-morello">Enhancing seL4’s C/C++ userspace memory safety using CHERI</a><br><span class="summit-abstract-presenter">Hesham Almatary</span>,
     <span class="summit-abstract-affiliation">Capabilities Limited</span>
     </td>
     <td class="summit_chair" rowspan="4">Lucy Parker</td>

diff --git a/_includes/abstracts/2024/cheri-morello.html b/_includes/abstracts/2024/cheri-morello.html
@@ -4,7 +4,7 @@
     SPDX-License-Identifier: CC-BY-SA-4.0
 -->
 <h4 class="summit-abstract-title">
-    seL4 CHERI/Morello port
+    Enhancing seL4’s C/C++ userspace memory safety using CHERI
 </h4>
 <p class="summit-abstract-type">
     Talk