summit gold sponsor (#394)

* add Kry10 sponsorship news item --------- Signed-off-by: Birgit Brecknell <b@brck.nl>
seL4 · Sep 11, 2024 · b456efb · b456efb
1 parent cb0d6cf
commit b456efb
Show file tree

Hide file tree

Showing 6 changed files with 56 additions and 4 deletions.
diff --git a/Foundation/Summit/2024/index.html b/Foundation/Summit/2024/index.html
@@ -431,6 +431,21 @@ <h3 id="summit-sponsors">
   </p>
 </div>
 
+<div class="sponsors-1" style="padding-top:10px; padding-bottom:20px;">
+  <div class="sponsor">
+    <div class="sponsor-pic">
+      <a href="https://www.kry10.com/">
+        <img src="../../Membership/LOGOS/Kry10.svg" style="width: 150px"
+            alt="Kry10 logo">
+      </a>
+    </div>
+    <div class="sponsor-name">
+      Kry10
+    </div>
+    <div class="sponsor-info highlight">Gold sponsor
+    </div>
+  </div>
+</div>
 <div class="sponsors-2" style="padding-top:10px; padding-bottom:20px;">
   <div class="sponsor">
     <div class="sponsor-pic">

diff --git a/_news-items/2024-05-24-proofcraft.html b/_news-items/2024-05-24-proofcraft.html
@@ -29,7 +29,7 @@
 <div class="center-imgs">
   <a href="https://proofcraft.systems">
     <img src="../Foundation/Membership/LOGOS/proofcraft.svg"
-       style="width: 15%;" alt="Proofcraft logo">
+       style="width: 15%; margin-right:20px" alt="Proofcraft logo">
   </a>
   <a href="../Foundation/Summit/2024">
     <img src="../images/summit/sel4_summit_2024.svg"

diff --git a/_news-items/2024-05-31-unsw.html b/_news-items/2024-05-31-unsw.html
@@ -42,7 +42,7 @@
 </p>
 <div class="center-imgs">
   <a href="https://unsw.edu.au">
-    <img src="../Foundation/Membership/LOGOS/UNSW.svg" style="width: 15%;" alt="UNSW logo">
+    <img src="../Foundation/Membership/LOGOS/UNSW.svg" style="width: 15%; margin-right:20px" alt="UNSW logo">
   </a>
   <a href="../Foundation/Summit/2024">
     <img src="../images/summit/sel4_summit_2024.svg" style="width: 15%; padding-bottom:5px"

diff --git a/_news-items/2024-08-14-tii.html b/_news-items/2024-08-14-tii.html
@@ -19,7 +19,7 @@
 
 <div class="center-imgs">
   <a href="https://www.tii.ae/">
-    <img src="../Foundation/Membership/LOGOS/TII.jpg" style="width: 15%;" alt="TII logo">
+    <img src="../Foundation/Membership/LOGOS/TII.jpg" style="width: 15%; margin-right:20px" alt="TII logo">
   </a>
   <a href="../Foundation/Summit/2024">
     <img src="../images/summit/sel4_summit_2024.svg" style="width: 15%; padding-bottom:5px"

diff --git a/_news-items/2024-08-16-collins.html b/_news-items/2024-08-16-collins.html
@@ -31,7 +31,7 @@
 
 <div class="center-imgs">
     <a href="https://www.collinsaerospace.com">
-    <img src="../Foundation/Membership/LOGOS/Collins_Aerospace_Logo.svg" style="width: 15%;" alt="Collins Aerospace logo">
+    <img src="../Foundation/Membership/LOGOS/Collins_Aerospace_Logo.svg" style="width: 15%; margin-right:20px" alt="Collins Aerospace logo">
   </a>
   <a href="../Foundation/Summit/2024">
         <img src="../images/summit/sel4_summit_2024.svg" style="width: 15%; padding-bottom:5px"

diff --git a/_news-items/2024-09-06-kry10.html b/_news-items/2024-09-06-kry10.html
@@ -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>