From b3e4ca79edf946a92a7a36d7aeeaadb06f3993ea Mon Sep 17 00:00:00 2001
From: "b@brck.nl" <b@brck.nl>
Date: Wed, 15 Apr 2026 14:18:27 +1000
Subject: [PATCH] add draft proofcraft sponsorship announcement

Signed-off-by: b@brck.nl <b@brck.nl>
---
 Summit/2026/index.html                        |  9 ++++--
 _data/sponsors.json                           |  7 +++++
 .../2026-04-17-proofcraft-sponsor.html        | 28 +++++++++++++++++++
 3 files changed, 41 insertions(+), 3 deletions(-)
 create mode 100644 _news-items/2026-04-17-proofcraft-sponsor.html

diff --git a/Summit/2026/index.html b/Summit/2026/index.html
index c9a7aa643..4160a935b 100644
--- a/Summit/2026/index.html
+++ b/Summit/2026/index.html
@@ -157,10 +157,13 @@
 %}
 
 <div class="mt-2 sm:mt-4">
+  {% include sep-header.html text = "Silver" %}
+  {%- assign sponsors = site.data.sponsors.summit-2026.silver | sort_natural: "name" -%}
+  {%- include sponsor-info.html -%}
 
-{% include sep-header.html text = "Reception" %}
-{%- assign sponsors = site.data.sponsors.summit-2026.reception | sort_natural: "name" -%}
-{%- include sponsor-info.html -%}
+  {% include sep-header.html text = "Reception" %}
+  {%- assign sponsors = site.data.sponsors.summit-2026.reception | sort_natural: "name" -%}
+  {%- include sponsor-info.html -%}
 </div>
 
 {% include section-end.html %}
\ No newline at end of file
diff --git a/_data/sponsors.json b/_data/sponsors.json
index 92b4df803..3d899a3e1 100644
--- a/_data/sponsors.json
+++ b/_data/sponsors.json
@@ -1,6 +1,13 @@
 {
   "summit-2026":
     {
+      "silver": [
+        {
+          "name": "Proofcraft",
+          "logo": "proofcraft.svg",
+          "url": "https://proofcraft.systems"
+        }
+        ],
       "reception": [
       {
         "name": "Riverside Research",
diff --git a/_news-items/2026-04-17-proofcraft-sponsor.html b/_news-items/2026-04-17-proofcraft-sponsor.html
new file mode 100644
index 000000000..c34f49e73
--- /dev/null
+++ b/_news-items/2026-04-17-proofcraft-sponsor.html
@@ -0,0 +1,28 @@
+---
+# Copyright 2026 seL4 Project a Series of LF Projects, LLC.
+# SPDX-License-Identifier: CC-BY-SA-4.0
+title: Thank you Proofcraft, silver sponsor of the seL4 Summit 2026
+
+img: /Foundation/Membership/LOGOS/proofcraft.svg
+alt: Proofcraft Logo
+link: https://proofcraft.systems
+---
+
+<p>
+  The seL4 Foundation thanks <a
+  href="https://proofcraft.systems">Proofcraft</a>, silver sponsor of the <a
+  href="{{ '/Summit/2026/' | relative_url }}">seL4 Summit 2026</a>.
+</p>
+<p>
+  Founded by the seL4 verification leaders, <a
+  href="https://proofcraft.systems">Proofcraft</a> offers commercial support
+  and projects in formal verification in general, and involving seL4
+  specifically. By applying mathematical machine-checked software verification,
+  Proofcraft increases critical software systems' reliability, safety and
+  security, for a verified future.
+</p>
+<p>
+  See <a href="https://events.linuxfoundation.org/sel4-summit/sponsor/">here</a>
+  if you are interested in sponsoring the  <a href="{{ '/Summit/2026/' |
+  relative_url }}">seL4 Summit 2026</a>.
+</p>