Skip to content

Commit

Permalink
rename kry10 news file
Browse files Browse the repository at this point in the history
Signed-off-by: Birgit Brecknell <b@brck.nl>
  • Loading branch information
bbrcknl committed Sep 6, 2024
1 parent e538e32 commit cb597d4
Showing 1 changed file with 37 additions and 0 deletions.
37 changes: 37 additions & 0 deletions _news-items/2024-09-06-kry10.html
Original file line number Diff line number Diff line change
@@ -0,0 +1,37 @@
---
# Copyright 2024 seL4 Project a Series of LF Projects, LLC.
# SPDX-License-Identifier: CC-BY-SA-4.0
title: Welcome Kry10, Gold sponsor of the seL4 Summit 2024
---

<p>
The seL4 Foundation thanks <a href="https://www.kry10.com/">Kry10</a> for
becoming a Gold sponsor of the <a href="../Foundation/Summit/2024">seL4
Summit 2024</a>.
</p>
<p>
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.

</p>
<p>
Kry10 is an <a href="../Foundation/Services/">Endorsed Service Provider</a> of the seL4
Foundation, offering support to enable seL4-based secure projects to be
affordable, maintainable, and remotely manageable.
</p>
<p>
See <a href="https://events.linuxfoundation.org/sel4-summit/sponsor/">here</a>
if you are interested in sponsoring the seL4 summit 2024.
</p>
<div class="center-imgs">
<a href="https://www.kry10.com/">
<img src="../Foundation/Membership/LOGOS/Kry10.svg" style="width: 15%; margin-right:20px" alt="Kry10 logo">
</a>
<a href="../Foundation/Summit/2024">
<img src="../images/summit/sel4_summit_2024.svg" style="width: 15%; padding-bottom:5px"
alt="seL4 summit">
</a>
</div>

0 comments on commit cb597d4

Please sign in to comment.