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