auto-deployed

Foundation/Summit/2024/index.html

@@ -518,6 +518,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">

index.html

@@ -104,19 +104,19 @@ <h4>
  <ul>
  <li>
  <strong>
- 16 Aug 2024: Welcome Collins, Bronze sponsor of the seL4 Summit 2024
+ 06 Sep 2024: Welcome Kry10, Gold sponsor of the seL4 Summit 2024
  </strong>
  </li>
 
  <li>
  <strong>
- 14 Aug 2024: Welcome TII, Bronze sponsor of the seL4 Summit 2024
+ 16 Aug 2024: Welcome Collins, Bronze sponsor of the seL4 Summit 2024
  </strong>
  </li>
 
  <li>
  <strong>
- 29 Jul 2024: Happy seL4 day
+ 14 Aug 2024: Welcome TII, Bronze sponsor of the seL4 Summit 2024
  </strong>
  </li>
 

news/2024.html

@@ -106,6 +106,46 @@ <h1>
  </div>
 </div>
 
+<div class="news-item tag-link" id="09-06">
+ <a href="#09-06"><span class="tag-span"># </span></a>
+ 06 Sep 2024: Welcome Kry10, Gold sponsor of the seL4 Summit 2024
+</div>
+<div>
+
+<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>
+</div>
+<div class="news-finish"></div>
+
 <div class="news-item tag-link" id="08-16">
  <a href="#08-16"><span class="tag-span"># </span></a>
  16 Aug 2024: Welcome Collins, Bronze sponsor of the seL4 Summit 2024
@@ -139,7 +179,7 @@ <h1>
 
 <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"
@@ -170,7 +210,7 @@ <h1>
 
 <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"
@@ -381,7 +421,7 @@ <h1>
 </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"
@@ -421,7 +461,7 @@ <h1>
 <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"

news/index.html

@@ -105,6 +105,46 @@ <h1>
  </div>
 </div>
 
+<div class="news-item tag-link" id="09-06">
+ <a href="#09-06"><span class="tag-span"># </span></a>
+ 06 Sep 2024: Welcome Kry10, Gold sponsor of the seL4 Summit 2024
+</div>
+<div>
+
+<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>
+</div>
+<div class="news-finish"></div>
+
 <div class="news-item tag-link" id="08-16">
  <a href="#08-16"><span class="tag-span"># </span></a>
  16 Aug 2024: Welcome Collins, Bronze sponsor of the seL4 Summit 2024
@@ -138,7 +178,7 @@ <h1>
 
 <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"
@@ -169,7 +209,7 @@ <h1>
 
 <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"
@@ -380,7 +420,7 @@ <h1>
 </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"
@@ -420,7 +460,7 @@ <h1>
 <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"