From 46f24b62f30e3fccaee10281de897145ff1d0c76 Mon Sep 17 00:00:00 2001
From: bbrcknl <32238793+bbrcknl@users.noreply.github.com>
Date: Fri, 6 Sep 2024 18:26:38 +1000
Subject: [PATCH] summit gold sponsor (#394)
* add Kry10 sponsorship news item
---------
Signed-off-by: Birgit Brecknell
---
Foundation/Summit/2024/index.html | 15 +++++++++++
_news-items/2024-05-24-proofcraft.html | 2 +-
_news-items/2024-05-31-unsw.html | 2 +-
_news-items/2024-08-14-tii.html | 2 +-
_news-items/2024-08-16-collins.html | 2 +-
_news-items/2024-09-06-kry10.html | 37 ++++++++++++++++++++++++++
6 files changed, 56 insertions(+), 4 deletions(-)
create mode 100644 _news-items/2024-09-06-kry10.html
diff --git a/Foundation/Summit/2024/index.html b/Foundation/Summit/2024/index.html
index dd98feb1..9c210baa 100644
--- a/Foundation/Summit/2024/index.html
+++ b/Foundation/Summit/2024/index.html
@@ -431,6 +431,21 @@
+ Kry10 offers a full-featured operating system on top of the seL4 kernel, along + with tooling, services, key management and more. The Kry10 Platform is a fast + and easy way to build highly secure, next-generation cyber-physical devices. It + leverages the verification of seL4 to provide a secure, self-healing, truly + dynamic system with minimal downtime, even during upgrades. + +
++ Kry10 is an Endorsed Service Provider of the seL4 + Foundation, offering support to enable seL4-based secure projects to be + affordable, maintainable, and remotely manageable. +
++ See here + if you are interested in sponsoring the seL4 summit 2024. +
+ \ No newline at end of file