announce lewis & clark membership (#408)

* announce lewis & clark membership --------- Signed-off-by: Birgit Brecknell <[email protected]>
seL4 · Oct 1, 2024 · 50c99e1 · 50c99e1
1 parent 9f7a4ae
commit 50c99e1
Show file tree

Hide file tree

Showing 3 changed files with 75 additions and 0 deletions.
diff --git a/Foundation/Membership/LOGOS/lewis-clark.svg b/Foundation/Membership/LOGOS/lewis-clark.svg
diff --git a/Foundation/Membership/index.html b/Foundation/Membership/index.html
@@ -212,6 +212,18 @@ <h2>Associate Members</h2>
       </div>
       <div class="member-info"></div>
     </div>
+    <div>
+      <div class="member-pic">
+        <a href="https://www.lclark.edu/">
+          <img src="LOGOS/lewis-clark.svg" style="width: 200px"
+               alt="Lewis & Clark College">
+        </a>
+      </div>
+      <div class="member-name">
+	      Lewis & Clark College
+      </div>
+      <div class="member-info"></div>
+    </div>
     <div class="member">
       <div class="member-pic">
         <a href="https://www.ncsc.gov.uk/">

diff --git a/_news-items/2024-09-30-lewis-clark.html b/_news-items/2024-09-30-lewis-clark.html
@@ -0,0 +1,16 @@
+---
+# Copyright 2024 seL4 Project a Series of LF Projects, LLC.
+# SPDX-License-Identifier: CC-BY-SA-4.0
+title: Lewis & Clark College joins the seL4 Foundation
+anchor: member-lewis-clark
+---
+<p>
+    The seL4 Foundation is pleased to welcome <a href="https://www.lclark.edu/">Lewis & Clark College</a> as our latest <a href="../Foundation/Membership">member</a>.
+</p>
+<p>
+    <a href="https://www.lclark.edu/">
+    <img src="../Foundation/Membership/LOGOS/lewis-clark.svg"
+       style="width: 15%; margin-right:20px; float: right;" alt="Lewis & Clark logo">
+    </a>
+    Lewis & Clark is a private, liberal arts college located in the Pacific Northwest of the United States. In our mathematical sciences department, we are pursuing the goal of making single-function connected devices more secure. Towards this end, we are proving a minimal, pure IPv6 networking stack implementation correct. We rely on seL4's infrastructure (i.e., microkernel, microkit, and device driver framework) as well as seL4's methodologies (e.g., proofs verified by Isabelle/HOL).
+</p>