Announce new member (#426)

* cyberagentur membership announcement



Signed-off-by: [email protected] <[email protected]>

Author: bbrcknl

Foundation/Membership/LOGOS/Cyberagentur.svg

@@ -366,6 +366,17 @@ <h2>Associate Members</h2>
       </div>
       <div class="member-info"></div>
     </div>
+    <div class="member">
+      <div class="member-pic">
+        <a href="https://www.cyberagentur.de/">
+          <img src="LOGOS/Cyberagentur.svg" style="width: 200px" alt="Cyberagentur">
+        </a>
+      </div>
+      <div class="member-name">
+	      Cyberagentur
+      </div>
+      <div class="member-info"></div>
+    </div>
     <div class="member">
       <div class="member-pic">
         <a href="https://ethz.ch/en.html">

Foundation/Membership/index.html

@@ -0,0 +1,14 @@
+---
+# Copyright 2025 seL4 Project a Series of LF Projects, LLC.
+# SPDX-License-Identifier: CC-BY-SA-4.0
+title: Cyberagentur joins the seL4 Foundation
+anchor: member-cyberagentur
+---
+
+<p>
+    <a href="https://www.cyberagentur.de/">
+    <img src="../Foundation/Membership/LOGOS/Cyberagentur.svg"
+       style="width: 30%; margin-right:20px; float: right;" alt="Cyberagentur logo">
+    </a>
+    The seL4 Foundation is pleased to welcome Germany’s <a href="https://www.cyberagentur.de/en/">Cyberagentur</a> as <a href="../Foundation/Membership">Associate Member</a>, coinciding with the <a href="https://www.cyberagentur.de/presse/ein-meilenstein-fuer-it-sicherheit-in-deutschland/">launch</a> of five projects in its research program on an “Ecosystem of formally verified IT – provable cybersecurity (EvIT)”. Two of the projects include work enhancing seL4. The Cyberagentur is joining the seL4 Foundation to underline the importance of this approach for making both highly complex IT systems and critical infrastructures more secure and to attract further supporters. The Cyberagentur funds cybersecurity research projects with a high risk and a very high potential of disruption.
+</p>

_news-items/2025-01-20-cyberagentur.html

@@ -0,0 +1,9 @@
+---
+# Copyright 2025 seL4 Project a Series of LF Projects, LLC.
+# SPDX-License-Identifier: CC-BY-SA-4.0
+
+title: News about seL4 and the seL4 Foundation
+layout: news
+redirect_from: /news.html
+year: 2025
+---