Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

summit gold sponsor #394

Merged
merged 9 commits into from
Sep 6, 2024
Merged

summit gold sponsor #394

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
9 commits
Select commit Hold shift + click to select a range
04d440e
add draft news item
bbrcknl Aug 25, 2024
1aa005f
fix sponsor logo spacing
bbrcknl Aug 25, 2024
4f64686
summit social activities (#390)
bbrcknl Aug 26, 2024
7c62a40
add session chairs (#388)
bbrcknl Aug 28, 2024
04e67a7
push back news release date
bbrcknl Aug 29, 2024
e538e32
update social activities (#396)
bbrcknl Sep 5, 2024
cb597d4
rename kry10 news file
bbrcknl Sep 5, 2024
4fdcaaf
delete old placeholder file
bbrcknl Sep 6, 2024
87b4501
Merge branch 'master' into summit_sponsor_gold
bbrcknl Sep 6, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
15 changes: 15 additions & 0 deletions Foundation/Summit/2024/index.html
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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">
Expand Down
2 changes: 1 addition & 1 deletion _news-items/2024-05-24-proofcraft.html
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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"
Expand Down
2 changes: 1 addition & 1 deletion _news-items/2024-05-31-unsw.html
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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"
Expand Down
2 changes: 1 addition & 1 deletion _news-items/2024-08-14-tii.html
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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"
Expand Down
2 changes: 1 addition & 1 deletion _news-items/2024-08-16-collins.html
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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"
Expand Down
37 changes: 37 additions & 0 deletions _news-items/2024-09-06-kry10.html
View file
Open in desktop
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>