auto-deployed

seL4 · Nov 4, 2024 · 7cb43d9 · 7cb43d9
1 parent 83108aa
commit 7cb43d9
Show file tree

Hide file tree

Showing 53 changed files with 2,265 additions and 1,173 deletions.
diff --git a/About/Performance/index.html b/About/Performance/index.html
@@ -359,35 +359,56 @@ <h2>Source Code</h2>
   <div class="container">
     <!-- for mobile screens -->
     <div class="text-center visible-xs">
-    <a href="https://fosstodon.org/@sel4"><img style="height:36px; padding-right:5px; padding-top:2px; padding-bottom:2px;" src=/images/icons/mastodon.svg alt="mastodon icon"></a>
-      <a href="https://www.youtube.com/@seL4"><img style="height:36px; padding-top:2px; padding-bottom:2px;" src=/images/icons/youtube.svg alt="youtube icon"></a>
-      <a href="https://www.linkedin.com/company/sel4"><img style="height:36px; padding-left:5px; padding-top:2px; padding-bottom:2px;" src=/images/icons/linkedin.svg alt="linkedin icon"></a>
+      <!--
+Copyright 2024 seL4 Project a Series of LF Projects, LLC.
+SPDX-License-Identifier: CC-BY-SA-4.0
+-->
+<a href="https://fosstodon.org/@sel4"><img style="height:36px; padding-right:5px; padding-top:2px; padding-bottom:2px;" src=/images/icons/mastodon.svg alt="mastodon icon"></a>
+<a href="https://www.youtube.com/@seL4"><img style="height:36px; padding-top:2px; padding-bottom:2px;" src=/images/icons/youtube.svg alt="youtube icon"></a>
+<a href="https://www.linkedin.com/company/sel4"><img style="height:36px; padding-left:5px; padding-top:2px; padding-bottom:2px;" src=/images/icons/linkedin.svg alt="linkedin icon"></a>
+
       <br>
       <br>
-    Copyright &copy; 2024 seL4 Project a Series of LF Projects, LLC.<br/>
-      seL4 is a trademark of LF Projects, LLC.<br/>
-      For trademark usage guidelines, privacy and cookie policies,
-      and other applicable policies, as well as terms and conditions
-      governing this web site, please see
-      <a href="http://www.lfprojects.org/">www.lfprojects.org</a>
-      and the <a href=/Foundation/Trademark/>trademark guidelines</a>.
+      <!--
+Copyright 2024 seL4 Project a Series of LF Projects, LLC.
+SPDX-License-Identifier: CC-BY-SA-4.0
+-->
+
+Copyright &copy; 2024 seL4 Project a Series of LF Projects, LLC.<br/>
+seL4 is a trademark of LF Projects, LLC.<br/>
+For trademark usage guidelines, privacy and cookie policies,
+and other applicable policies, as well as terms and conditions
+governing this web site, please see
+<a href="http://www.lfprojects.org/">www.lfprojects.org</a>
+and the <a href=/Foundation/Trademark/>trademark guidelines</a>.
+
     </div>
     <div class="row">
       <!-- for screens larger than mobiles -->
       <div class="col-xs-6 hidden-xs">
+        <!--
+Copyright 2024 seL4 Project a Series of LF Projects, LLC.
+SPDX-License-Identifier: CC-BY-SA-4.0
+-->
+
+Copyright &copy; 2024 seL4 Project a Series of LF Projects, LLC.<br/>
+seL4 is a trademark of LF Projects, LLC.<br/>
+For trademark usage guidelines, privacy and cookie policies,
+and other applicable policies, as well as terms and conditions
+governing this web site, please see
+<a href="http://www.lfprojects.org/">www.lfprojects.org</a>
+and the <a href=/Foundation/Trademark/>trademark guidelines</a>.
 
-        Copyright &copy; 2024 seL4 Project a Series of LF Projects, LLC.<br/>
-        seL4 is a trademark of LF Projects, LLC.<br/>
-        For trademark usage guidelines, privacy and cookie policies,
-        and other applicable policies, as well as terms and conditions
-        governing this web site, please see
-        <a href="http://www.lfprojects.org/">www.lfprojects.org</a>
-        and the <a href=/Foundation/Trademark/>trademark guidelines</a>.
       </div>
       <div class="col-xs-6 text-right hidden-xs">
-        <a href="https://fosstodon.org/@sel4"><img style="height:36px; padding-right:5px; padding-top:2px; padding-bottom:2px;" src=/images/icons/mastodon.svg alt="mastodon icon"></a>
-        <a href="https://www.youtube.com/@seL4"><img style="height:36px; padding-top:2px; padding-bottom:2px;" src=/images/icons/youtube.svg alt="youtube icon"></a>
-        <a href="https://www.linkedin.com/company/sel4"><img style="height:36px; padding-left:5px; padding-top:2px; padding-bottom:2px;" src=/images/icons/linkedin.svg alt="linkedin icon"></a>
+        <!--
+Copyright 2024 seL4 Project a Series of LF Projects, LLC.
+SPDX-License-Identifier: CC-BY-SA-4.0
+-->
+<a href="https://fosstodon.org/@sel4"><img style="height:36px; padding-right:5px; padding-top:2px; padding-bottom:2px;" src=/images/icons/mastodon.svg alt="mastodon icon"></a>
+<a href="https://www.youtube.com/@seL4"><img style="height:36px; padding-top:2px; padding-bottom:2px;" src=/images/icons/youtube.svg alt="youtube icon"></a>
+<a href="https://www.linkedin.com/company/sel4"><img style="height:36px; padding-left:5px; padding-top:2px; padding-bottom:2px;" src=/images/icons/linkedin.svg alt="linkedin icon"></a>
+
       </div>
     </div>
   </div>

diff --git a/About/index.html b/About/index.html
@@ -193,35 +193,56 @@ <h1>
   <div class="container">
     <!-- for mobile screens -->
     <div class="text-center visible-xs">
-    <a href="https://fosstodon.org/@sel4"><img style="height:36px; padding-right:5px; padding-top:2px; padding-bottom:2px;" src=/images/icons/mastodon.svg alt="mastodon icon"></a>
-      <a href="https://www.youtube.com/@seL4"><img style="height:36px; padding-top:2px; padding-bottom:2px;" src=/images/icons/youtube.svg alt="youtube icon"></a>
-      <a href="https://www.linkedin.com/company/sel4"><img style="height:36px; padding-left:5px; padding-top:2px; padding-bottom:2px;" src=/images/icons/linkedin.svg alt="linkedin icon"></a>
+      <!--
+Copyright 2024 seL4 Project a Series of LF Projects, LLC.
+SPDX-License-Identifier: CC-BY-SA-4.0
+-->
+<a href="https://fosstodon.org/@sel4"><img style="height:36px; padding-right:5px; padding-top:2px; padding-bottom:2px;" src=/images/icons/mastodon.svg alt="mastodon icon"></a>
+<a href="https://www.youtube.com/@seL4"><img style="height:36px; padding-top:2px; padding-bottom:2px;" src=/images/icons/youtube.svg alt="youtube icon"></a>
+<a href="https://www.linkedin.com/company/sel4"><img style="height:36px; padding-left:5px; padding-top:2px; padding-bottom:2px;" src=/images/icons/linkedin.svg alt="linkedin icon"></a>
+
       <br>
       <br>
-    Copyright &copy; 2024 seL4 Project a Series of LF Projects, LLC.<br/>
-      seL4 is a trademark of LF Projects, LLC.<br/>
-      For trademark usage guidelines, privacy and cookie policies,
-      and other applicable policies, as well as terms and conditions
-      governing this web site, please see
-      <a href="http://www.lfprojects.org/">www.lfprojects.org</a>
-      and the <a href=/Foundation/Trademark/>trademark guidelines</a>.
+      <!--
+Copyright 2024 seL4 Project a Series of LF Projects, LLC.
+SPDX-License-Identifier: CC-BY-SA-4.0
+-->
+
+Copyright &copy; 2024 seL4 Project a Series of LF Projects, LLC.<br/>
+seL4 is a trademark of LF Projects, LLC.<br/>
+For trademark usage guidelines, privacy and cookie policies,
+and other applicable policies, as well as terms and conditions
+governing this web site, please see
+<a href="http://www.lfprojects.org/">www.lfprojects.org</a>
+and the <a href=/Foundation/Trademark/>trademark guidelines</a>.
+
     </div>
     <div class="row">
       <!-- for screens larger than mobiles -->
       <div class="col-xs-6 hidden-xs">
+        <!--
+Copyright 2024 seL4 Project a Series of LF Projects, LLC.
+SPDX-License-Identifier: CC-BY-SA-4.0
+-->
+
+Copyright &copy; 2024 seL4 Project a Series of LF Projects, LLC.<br/>
+seL4 is a trademark of LF Projects, LLC.<br/>
+For trademark usage guidelines, privacy and cookie policies,
+and other applicable policies, as well as terms and conditions
+governing this web site, please see
+<a href="http://www.lfprojects.org/">www.lfprojects.org</a>
+and the <a href=/Foundation/Trademark/>trademark guidelines</a>.
 
-        Copyright &copy; 2024 seL4 Project a Series of LF Projects, LLC.<br/>
-        seL4 is a trademark of LF Projects, LLC.<br/>
-        For trademark usage guidelines, privacy and cookie policies,
-        and other applicable policies, as well as terms and conditions
-        governing this web site, please see
-        <a href="http://www.lfprojects.org/">www.lfprojects.org</a>
-        and the <a href=/Foundation/Trademark/>trademark guidelines</a>.
       </div>
       <div class="col-xs-6 text-right hidden-xs">
-        <a href="https://fosstodon.org/@sel4"><img style="height:36px; padding-right:5px; padding-top:2px; padding-bottom:2px;" src=/images/icons/mastodon.svg alt="mastodon icon"></a>
-        <a href="https://www.youtube.com/@seL4"><img style="height:36px; padding-top:2px; padding-bottom:2px;" src=/images/icons/youtube.svg alt="youtube icon"></a>
-        <a href="https://www.linkedin.com/company/sel4"><img style="height:36px; padding-left:5px; padding-top:2px; padding-bottom:2px;" src=/images/icons/linkedin.svg alt="linkedin icon"></a>
+        <!--
+Copyright 2024 seL4 Project a Series of LF Projects, LLC.
+SPDX-License-Identifier: CC-BY-SA-4.0
+-->
+<a href="https://fosstodon.org/@sel4"><img style="height:36px; padding-right:5px; padding-top:2px; padding-bottom:2px;" src=/images/icons/mastodon.svg alt="mastodon icon"></a>
+<a href="https://www.youtube.com/@seL4"><img style="height:36px; padding-top:2px; padding-bottom:2px;" src=/images/icons/youtube.svg alt="youtube icon"></a>
+<a href="https://www.linkedin.com/company/sel4"><img style="height:36px; padding-left:5px; padding-top:2px; padding-bottom:2px;" src=/images/icons/linkedin.svg alt="linkedin icon"></a>
+
       </div>
     </div>
   </div>

diff --git a/Contribute/index.html b/Contribute/index.html
@@ -135,35 +135,56 @@ <h2 id="community-support-contributions">Community Support Contributions</h2>
   <div class="container">
     <!-- for mobile screens -->
     <div class="text-center visible-xs">
-    <a href="https://fosstodon.org/@sel4"><img style="height:36px; padding-right:5px; padding-top:2px; padding-bottom:2px;" src=/images/icons/mastodon.svg alt="mastodon icon"></a>
-      <a href="https://www.youtube.com/@seL4"><img style="height:36px; padding-top:2px; padding-bottom:2px;" src=/images/icons/youtube.svg alt="youtube icon"></a>
-      <a href="https://www.linkedin.com/company/sel4"><img style="height:36px; padding-left:5px; padding-top:2px; padding-bottom:2px;" src=/images/icons/linkedin.svg alt="linkedin icon"></a>
+      <!--
+Copyright 2024 seL4 Project a Series of LF Projects, LLC.
+SPDX-License-Identifier: CC-BY-SA-4.0
+-->
+<a href="https://fosstodon.org/@sel4"><img style="height:36px; padding-right:5px; padding-top:2px; padding-bottom:2px;" src=/images/icons/mastodon.svg alt="mastodon icon"></a>
+<a href="https://www.youtube.com/@seL4"><img style="height:36px; padding-top:2px; padding-bottom:2px;" src=/images/icons/youtube.svg alt="youtube icon"></a>
+<a href="https://www.linkedin.com/company/sel4"><img style="height:36px; padding-left:5px; padding-top:2px; padding-bottom:2px;" src=/images/icons/linkedin.svg alt="linkedin icon"></a>
+
       <br>
       <br>
-    Copyright &copy; 2024 seL4 Project a Series of LF Projects, LLC.<br/>
-      seL4 is a trademark of LF Projects, LLC.<br/>
-      For trademark usage guidelines, privacy and cookie policies,
-      and other applicable policies, as well as terms and conditions
-      governing this web site, please see
-      <a href="http://www.lfprojects.org/">www.lfprojects.org</a>
-      and the <a href=/Foundation/Trademark/>trademark guidelines</a>.
+      <!--
+Copyright 2024 seL4 Project a Series of LF Projects, LLC.
+SPDX-License-Identifier: CC-BY-SA-4.0
+-->
+
+Copyright &copy; 2024 seL4 Project a Series of LF Projects, LLC.<br/>
+seL4 is a trademark of LF Projects, LLC.<br/>
+For trademark usage guidelines, privacy and cookie policies,
+and other applicable policies, as well as terms and conditions
+governing this web site, please see
+<a href="http://www.lfprojects.org/">www.lfprojects.org</a>
+and the <a href=/Foundation/Trademark/>trademark guidelines</a>.
+
     </div>
     <div class="row">
       <!-- for screens larger than mobiles -->
       <div class="col-xs-6 hidden-xs">
+        <!--
+Copyright 2024 seL4 Project a Series of LF Projects, LLC.
+SPDX-License-Identifier: CC-BY-SA-4.0
+-->
+
+Copyright &copy; 2024 seL4 Project a Series of LF Projects, LLC.<br/>
+seL4 is a trademark of LF Projects, LLC.<br/>
+For trademark usage guidelines, privacy and cookie policies,
+and other applicable policies, as well as terms and conditions
+governing this web site, please see
+<a href="http://www.lfprojects.org/">www.lfprojects.org</a>
+and the <a href=/Foundation/Trademark/>trademark guidelines</a>.
 
-        Copyright &copy; 2024 seL4 Project a Series of LF Projects, LLC.<br/>
-        seL4 is a trademark of LF Projects, LLC.<br/>
-        For trademark usage guidelines, privacy and cookie policies,
-        and other applicable policies, as well as terms and conditions
-        governing this web site, please see
-        <a href="http://www.lfprojects.org/">www.lfprojects.org</a>
-        and the <a href=/Foundation/Trademark/>trademark guidelines</a>.
       </div>
       <div class="col-xs-6 text-right hidden-xs">
-        <a href="https://fosstodon.org/@sel4"><img style="height:36px; padding-right:5px; padding-top:2px; padding-bottom:2px;" src=/images/icons/mastodon.svg alt="mastodon icon"></a>
-        <a href="https://www.youtube.com/@seL4"><img style="height:36px; padding-top:2px; padding-bottom:2px;" src=/images/icons/youtube.svg alt="youtube icon"></a>
-        <a href="https://www.linkedin.com/company/sel4"><img style="height:36px; padding-left:5px; padding-top:2px; padding-bottom:2px;" src=/images/icons/linkedin.svg alt="linkedin icon"></a>
+        <!--
+Copyright 2024 seL4 Project a Series of LF Projects, LLC.
+SPDX-License-Identifier: CC-BY-SA-4.0
+-->
+<a href="https://fosstodon.org/@sel4"><img style="height:36px; padding-right:5px; padding-top:2px; padding-bottom:2px;" src=/images/icons/mastodon.svg alt="mastodon icon"></a>
+<a href="https://www.youtube.com/@seL4"><img style="height:36px; padding-top:2px; padding-bottom:2px;" src=/images/icons/youtube.svg alt="youtube icon"></a>
+<a href="https://www.linkedin.com/company/sel4"><img style="height:36px; padding-left:5px; padding-top:2px; padding-bottom:2px;" src=/images/icons/linkedin.svg alt="linkedin icon"></a>
+
       </div>
     </div>
   </div>

diff --git a/Foundation/Board/Minutes/index.html b/Foundation/Board/Minutes/index.html
@@ -150,35 +150,56 @@ <h2>Unconfirmed Minutes</h2>
   <div class="container">
     <!-- for mobile screens -->
     <div class="text-center visible-xs">
-    <a href="https://fosstodon.org/@sel4"><img style="height:36px; padding-right:5px; padding-top:2px; padding-bottom:2px;" src=/images/icons/mastodon.svg alt="mastodon icon"></a>
-      <a href="https://www.youtube.com/@seL4"><img style="height:36px; padding-top:2px; padding-bottom:2px;" src=/images/icons/youtube.svg alt="youtube icon"></a>
-      <a href="https://www.linkedin.com/company/sel4"><img style="height:36px; padding-left:5px; padding-top:2px; padding-bottom:2px;" src=/images/icons/linkedin.svg alt="linkedin icon"></a>
+      <!--
+Copyright 2024 seL4 Project a Series of LF Projects, LLC.
+SPDX-License-Identifier: CC-BY-SA-4.0
+-->
+<a href="https://fosstodon.org/@sel4"><img style="height:36px; padding-right:5px; padding-top:2px; padding-bottom:2px;" src=/images/icons/mastodon.svg alt="mastodon icon"></a>
+<a href="https://www.youtube.com/@seL4"><img style="height:36px; padding-top:2px; padding-bottom:2px;" src=/images/icons/youtube.svg alt="youtube icon"></a>
+<a href="https://www.linkedin.com/company/sel4"><img style="height:36px; padding-left:5px; padding-top:2px; padding-bottom:2px;" src=/images/icons/linkedin.svg alt="linkedin icon"></a>
+
       <br>
       <br>
-    Copyright &copy; 2024 seL4 Project a Series of LF Projects, LLC.<br/>
-      seL4 is a trademark of LF Projects, LLC.<br/>
-      For trademark usage guidelines, privacy and cookie policies,
-      and other applicable policies, as well as terms and conditions
-      governing this web site, please see
-      <a href="http://www.lfprojects.org/">www.lfprojects.org</a>
-      and the <a href=/Foundation/Trademark/>trademark guidelines</a>.
+      <!--
+Copyright 2024 seL4 Project a Series of LF Projects, LLC.
+SPDX-License-Identifier: CC-BY-SA-4.0
+-->
+
+Copyright &copy; 2024 seL4 Project a Series of LF Projects, LLC.<br/>
+seL4 is a trademark of LF Projects, LLC.<br/>
+For trademark usage guidelines, privacy and cookie policies,
+and other applicable policies, as well as terms and conditions
+governing this web site, please see
+<a href="http://www.lfprojects.org/">www.lfprojects.org</a>
+and the <a href=/Foundation/Trademark/>trademark guidelines</a>.
+
     </div>
     <div class="row">
       <!-- for screens larger than mobiles -->
       <div class="col-xs-6 hidden-xs">
+        <!--
+Copyright 2024 seL4 Project a Series of LF Projects, LLC.
+SPDX-License-Identifier: CC-BY-SA-4.0
+-->
+
+Copyright &copy; 2024 seL4 Project a Series of LF Projects, LLC.<br/>
+seL4 is a trademark of LF Projects, LLC.<br/>
+For trademark usage guidelines, privacy and cookie policies,
+and other applicable policies, as well as terms and conditions
+governing this web site, please see
+<a href="http://www.lfprojects.org/">www.lfprojects.org</a>
+and the <a href=/Foundation/Trademark/>trademark guidelines</a>.
 
-        Copyright &copy; 2024 seL4 Project a Series of LF Projects, LLC.<br/>
-        seL4 is a trademark of LF Projects, LLC.<br/>
-        For trademark usage guidelines, privacy and cookie policies,
-        and other applicable policies, as well as terms and conditions
-        governing this web site, please see
-        <a href="http://www.lfprojects.org/">www.lfprojects.org</a>
-        and the <a href=/Foundation/Trademark/>trademark guidelines</a>.
       </div>
       <div class="col-xs-6 text-right hidden-xs">
-        <a href="https://fosstodon.org/@sel4"><img style="height:36px; padding-right:5px; padding-top:2px; padding-bottom:2px;" src=/images/icons/mastodon.svg alt="mastodon icon"></a>
-        <a href="https://www.youtube.com/@seL4"><img style="height:36px; padding-top:2px; padding-bottom:2px;" src=/images/icons/youtube.svg alt="youtube icon"></a>
-        <a href="https://www.linkedin.com/company/sel4"><img style="height:36px; padding-left:5px; padding-top:2px; padding-bottom:2px;" src=/images/icons/linkedin.svg alt="linkedin icon"></a>
+        <!--
+Copyright 2024 seL4 Project a Series of LF Projects, LLC.
+SPDX-License-Identifier: CC-BY-SA-4.0
+-->
+<a href="https://fosstodon.org/@sel4"><img style="height:36px; padding-right:5px; padding-top:2px; padding-bottom:2px;" src=/images/icons/mastodon.svg alt="mastodon icon"></a>
+<a href="https://www.youtube.com/@seL4"><img style="height:36px; padding-top:2px; padding-bottom:2px;" src=/images/icons/youtube.svg alt="youtube icon"></a>
+<a href="https://www.linkedin.com/company/sel4"><img style="height:36px; padding-left:5px; padding-top:2px; padding-bottom:2px;" src=/images/icons/linkedin.svg alt="linkedin icon"></a>
+
       </div>
     </div>
   </div>