Update foundation members

Foundation/Board/index.html

@@ -124,27 +124,6 @@ <h2 class="h2-size">Members</h2>
       linkedin = "https://www.linkedin.com/in/gerwinklein/"
      %}
 
-     {% include board-bio-item.html
-      name = "Dr Matthew P. Grosvenor"
-      img = "Jump-Matt-s.jpg"
-      role = "Software Engineer"
-      affiliation = "Jump Trading"
-      affiliation_link = "https://jumptrading.com"
-      bio = '
-        Matthew is the representative of Premium Member Jump Trading, where
-        he specializes on measurement and optimization of high-performance
-        and low-latency network systems. He holds a doctorate in computer
-        science from the University of Cambridge where his research work
-        focused on techniques for managing and mitigating latency variance in
-        hyper-scale datacenter networks. He is also a former member of the
-        Trustworthy Systems research group. For his honors project, Matt
-        worked on capability allocation/deallocation techniques using the
-        seL4 capability system. Matthew maintains a strong interest in
-        facilitating and performing research, particularly in the areas of
-        high-performance, and high-assurance systems.'
-      linkedin = "https://www.linkedin.com/in/matthew-p-grosvenor-855a2228/"
-     %}
-
      {% include board-bio-item.html
       name = "Qiyan Wang"
       img = "NIO-Qiyan-s.png"

Makefile

@@ -82,6 +82,7 @@ IGNORE_URLS += sel4summit2025.sched.com
 IGNORE_URLS += acm.org
 IGNORE_URLS += awards.acm.org
 IGNORE_URLS += www.leopoldina.org/en/members/member-list/detail/gernot-heiser
+IGNORE_URLS += vancouver.ca/parks-recreation-culture/stanley-park-seawall.aspx
 
 sep:= /,/
 empty:=

_data/members.json

@@ -1,10 +1,5 @@
 {
   "premium": [
-    {
-      "name": "Jump Trading",
-      "logo": "Jump-Trading.svg",
-      "url": "https://jumptrading.com/"
-    },
     {
       "name": "NIO",
       "logo": "NIO.svg",
@@ -50,6 +45,11 @@
       "name": "RTX Corporation",
       "logo": "rtx-vertical.svg",
       "url": "https://www.rtx.com/"
+    },
+    {
+      "name": "Skykraft Pty Ltd",
+      "logo": "skykraft.svg",
+      "url": "https://www.skykraft.com.au/"
     }
   ],
   "associate": [

_includes/member-info.html

@@ -2,7 +2,10 @@
 Copyright 2025 Proofcraft Pty Ltd
 SPDX-License-Identifier: CC-BY-SA-4.0
 {% endcomment -%}
-{%- if members.size == 2 -%}
+{%- if members.size == 1 -%}
+{%- assign lg = "lg:grid-cols-1" -%}
+{%- assign md = "md:grid-cols-1" -%}
+{%- else if members.size == 2 -%}
 {%- assign lg = "lg:grid-cols-2" -%}
 {%- assign md = "md:grid-cols-2" -%}
 {%- else -%}

_news-items/2026-02-23-register.html

@@ -0,0 +1,63 @@
+---
+# Copyright 2026 seL4 Project a Series of LF Projects, LLC.
+# SPDX-License-Identifier: CC-BY-SA-4.0
+title: Registration open for the seL4 summit 2026
+
+link: /Summit/2026/
+img: /images/summit/sel4_summit_2026.svg
+alt: "seL4 Summit logo"
+dark: true
+---
+
+<p>
+  We have an exciting new format for 2026! A full first day dedicated to
+  applications, overviews, and perspectives on seL4-based systems and formally
+  verified software in the real world. Followed by two days of technical talks
+  and discussion on development, research, and experience reports.
+</p>
+<p>
+  If you're new to seL4 or still developing your familiarity with the
+  technology, this is an ideal opportunity to get a high-level view of the
+  landscape and ecosystem.
+</p>
+<p>
+  The <a href="{{ '/Summit/2026/' | relative_url }}">seL4 summit
+  2026</a> will be in Vancouver, Canada, on 1 - 3 September 2026.
+</p>
+<p>
+  Come hear about:
+</p>
+<ul>
+  <li>vision, lessons-learned, roadmaps for verified software deployments;</li>
+  <li>use-cases, deployments, experiences;</li>
+  <li>walk-throughs and demos of tools, frameworks, systems;</li>
+  <li>early work, crazy ideas, out-of-the-box thinking;</li>
+  <li>technical progress, updates, breakthroughs.</li>
+</ul>
+<p>
+  And join us for one of the informal <a href="{{
+  '/Summit/2026/program.html#social' | relative_url }}">social activities</a> on
+  Monday 31 August 2026, for a fun gathering before the event starts!
+</p>
+<p>
+  If you have any cool work/idea/project/product related to seL4, don't forget
+  to submit a <a href="{{ '/Summit/2026/program.html' | relative_url }}">talk
+  proposal</a>.
+</p>
+<p>
+  Tickets include:
+</p>
+<ul>
+  <li>Participation in the 3-day conference, including talks, keynotes, seL4
+  updates & discussions</li>
+  <li>Networking with other seL4 experts and enthusiasts</li>
+  <li>Dinner</li>
+</ul>
+<p>
+  <strong><a
+  href="https://events.linuxfoundation.org/sel4-summit/register/">Register
+  here</a></strong>
+</p>
+<p>
+  The early bird cut-off date is 31 July 2026.
+</p>