From b6564c71c9f1c7218fa038f95872314ff61abaf6 Mon Sep 17 00:00:00 2001 From: bbrcknl <32238793+bbrcknl@users.noreply.github.com> Date: Mon, 19 Aug 2024 17:26:27 +1000 Subject: [PATCH 1/4] remove ghost links which are disabled (#389) Signed-off-by: Birgit Brecknell --- _news-items/2021-08-31-ghost.html | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/_news-items/2021-08-31-ghost.html b/_news-items/2021-08-31-ghost.html index 0883e9cd..65ea9996 100644 --- a/_news-items/2021-08-31-ghost.html +++ b/_news-items/2021-08-31-ghost.html @@ -6,11 +6,9 @@ ---

- - Ghost logo - - The seL4 Foundation thanks Ghost for its + The seL4 Foundation thanks Ghost for its generous contribution. Ghost's commitment strengthens the seL4 Foundation's mission to continue advancing the ecosystem, the code base, and the verification efforts of seL4, the world's most From e5df88fa50fe44a7d5a61ce52264dcc9ba2e2d06 Mon Sep 17 00:00:00 2001 From: bbrcknl <32238793+bbrcknl@users.noreply.github.com> Date: Fri, 23 Aug 2024 17:03:53 +1000 Subject: [PATCH 2/4] replace title for cheri/morello (#391) Signed-off-by: Birgit Brecknell --- Foundation/Summit/2024/program.html | 2 +- _includes/abstracts/2024/cheri-morello.html | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/Foundation/Summit/2024/program.html b/Foundation/Summit/2024/program.html index df872371..0237f743 100644 --- a/Foundation/Summit/2024/program.html +++ b/Foundation/Summit/2024/program.html @@ -289,7 +289,7 @@

Summit

10:30 - 11:00 Talk - seL4 CHERI/Morello port
Hesham Almatary, + Enhancing seL4’s C/C++ userspace memory safety using CHERI
Hesham Almatary, Capabilities Limited diff --git a/_includes/abstracts/2024/cheri-morello.html b/_includes/abstracts/2024/cheri-morello.html index 3a080dc7..ffdc0de6 100644 --- 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 -->

- seL4 CHERI/Morello port + Enhancing seL4’s C/C++ userspace memory safety using CHERI

Talk From 35fd005e41d334b2a08c552c3adc782f8afac99c Mon Sep 17 00:00:00 2001 From: bbrcknl <32238793+bbrcknl@users.noreply.github.com> Date: Fri, 23 Aug 2024 17:48:29 +1000 Subject: [PATCH 3/4] summit training day announcement (#376) * training day registration and session information --------- Signed-off-by: Birgit Brecknell Co-authored-by: June Andronick Co-authored-by: Ivan Velickovic <10481259+Ivan-Velickovic@users.noreply.github.com> --- Foundation/Summit/2024/index.html | 95 +++++++++++++++++++++++++---- Foundation/Summit/2024/program.html | 14 ++--- 2 files changed, 89 insertions(+), 20 deletions(-) diff --git a/Foundation/Summit/2024/index.html b/Foundation/Summit/2024/index.html index e03db832..c6371417 100644 --- a/Foundation/Summit/2024/index.html +++ b/Foundation/Summit/2024/index.html @@ -20,14 +20,13 @@