deploy: seL4/website@90a8cb2

seL4 · Nov 13, 2024 · a7d3273 · a7d3273
1 parent 09b6d9f
commit a7d3273
Show file tree

Hide file tree

Showing 87 changed files with 2,736 additions and 1,307 deletions.
diff --git a/PR_417/About/Performance/index.html b/PR_417/About/Performance/index.html
@@ -113,66 +113,66 @@ <h1>Performance</h1>
     <td class="data-table-right">32</td>
     <td>A9/i.MX6/Sabre</td>
     <td class="data-table-right">1.0 GHz</td>
-    <td class="data-mean">582</td>
+    <td class="data-mean">586</td>
     <td class="data-stddev">(14)</td>
     <td class="data-mean">317</td>
-    <td class="data-stddev">(2)</td>
-    <td class="data-mean">338</td>
-    <td class="data-stddev">(6)</td>
-    <td class="data-mean">837</td>
-    <td class="data-stddev">(12)</td>
+    <td class="data-stddev">(3)</td>
+    <td class="data-mean">343</td>
+    <td class="data-stddev">(7)</td>
+    <td class="data-mean">830</td>
+    <td class="data-stddev">(11)</td>
   </tr>  <tr>
     <td>x86_64</td>
     <td class="data-table-right">64</td>
     <td>i7-4770/Haswell</td>
     <td class="data-table-right">3.4 GHz</td>
-    <td class="data-mean">1533</td>
-    <td class="data-stddev">(265)</td>
-    <td class="data-mean">576</td>
-    <td class="data-stddev">(12)</td>
-    <td class="data-mean">590</td>
-    <td class="data-stddev">(12)</td>
-    <td class="data-mean">1319</td>
-    <td class="data-stddev">(74)</td>
+    <td class="data-mean">1560</td>
+    <td class="data-stddev">(270)</td>
+    <td class="data-mean">573</td>
+    <td class="data-stddev">(10)</td>
+    <td class="data-mean">587</td>
+    <td class="data-stddev">(13)</td>
+    <td class="data-mean">1323</td>
+    <td class="data-stddev">(70)</td>
   </tr>  <tr>
     <td>x86_64</td>
     <td class="data-table-right">64</td>
     <td>i7-6700/Skylake (without meltdown mitigation)</td>
     <td class="data-table-right">3.4 GHz</td>
-    <td class="data-mean">1276</td>
-    <td class="data-stddev">(206)</td>
+    <td class="data-mean">1311</td>
+    <td class="data-stddev">(205)</td>
     <td class="data-mean">382</td>
     <td class="data-stddev">(3)</td>
-    <td class="data-mean">381</td>
+    <td class="data-mean">387</td>
     <td class="data-stddev">(3)</td>
-    <td class="data-mean">752</td>
-    <td class="data-stddev">(82)</td>
+    <td class="data-mean">753</td>
+    <td class="data-stddev">(83)</td>
   </tr>  <tr>
     <td>Armv8a</td>
     <td class="data-table-right">64</td>
     <td>A57/Tx1/Jetson</td>
     <td class="data-table-right">1.9 GHz</td>
     <td class="data-mean">664</td>
     <td class="data-stddev">(30)</td>
-    <td class="data-mean">406</td>
-    <td class="data-stddev">(11)</td>
-    <td class="data-mean">415</td>
-    <td class="data-stddev">(1)</td>
-    <td class="data-mean">926</td>
+    <td class="data-mean">422</td>
+    <td class="data-stddev">(10)</td>
+    <td class="data-mean">417</td>
     <td class="data-stddev">(6)</td>
+    <td class="data-mean">894</td>
+    <td class="data-stddev">(4)</td>
   </tr>  <tr>
     <td>RV64IMAC</td>
     <td class="data-table-right">64</td>
     <td>U54-MC/SiFive Freedom U540/Hifive</td>
     <td class="data-table-right">1.5 GHz</td>
-    <td class="data-mean">963</td>
-    <td class="data-stddev">(66)</td>
-    <td class="data-mean">491</td>
-    <td class="data-stddev">(100)</td>
-    <td class="data-mean">659</td>
-    <td class="data-stddev">(93)</td>
-    <td class="data-mean">1345</td>
-    <td class="data-stddev">(46)</td>
+    <td class="data-mean">985</td>
+    <td class="data-stddev">(90)</td>
+    <td class="data-mean">468</td>
+    <td class="data-stddev">(12)</td>
+    <td class="data-mean">627</td>
+    <td class="data-stddev">(16)</td>
+    <td class="data-mean">1347</td>
+    <td class="data-stddev">(63)</td>
   </tr></table>
 
 <h2>MCS</h2>
@@ -191,66 +191,66 @@ <h2>MCS</h2>
     <td class="data-table-right">32</td>
     <td>A9/i.MX6/Sabre</td>
     <td class="data-table-right">1.0 GHz</td>
-    <td class="data-mean">800</td>
+    <td class="data-mean">802</td>
     <td class="data-stddev">(18)</td>
     <td class="data-mean">324</td>
     <td class="data-stddev">(2)</td>
-    <td class="data-mean">364</td>
-    <td class="data-stddev">(2)</td>
-    <td class="data-mean">1189</td>
-    <td class="data-stddev">(12)</td>
+    <td class="data-mean">363</td>
+    <td class="data-stddev">(3)</td>
+    <td class="data-mean">1197</td>
+    <td class="data-stddev">(13)</td>
   </tr>  <tr>
     <td>x86_64</td>
     <td class="data-table-right">64</td>
     <td>i7-4770/Haswell</td>
     <td class="data-table-right">3.4 GHz</td>
-    <td class="data-mean">1988</td>
-    <td class="data-stddev">(428)</td>
-    <td class="data-mean">586</td>
+    <td class="data-mean">2007</td>
+    <td class="data-stddev">(430)</td>
+    <td class="data-mean">585</td>
+    <td class="data-stddev">(12)</td>
+    <td class="data-mean">602</td>
     <td class="data-stddev">(13)</td>
-    <td class="data-mean">605</td>
-    <td class="data-stddev">(11)</td>
     <td class="data-mean">1590</td>
-    <td class="data-stddev">(8)</td>
+    <td class="data-stddev">(5)</td>
   </tr>  <tr>
     <td>x86_64</td>
     <td class="data-table-right">64</td>
     <td>i7-6700/Skylake (without meltdown mitigation)</td>
     <td class="data-table-right">3.4 GHz</td>
-    <td class="data-mean">1665</td>
-    <td class="data-stddev">(332)</td>
-    <td class="data-mean">382</td>
+    <td class="data-mean">1648</td>
+    <td class="data-stddev">(358)</td>
+    <td class="data-mean">380</td>
     <td class="data-stddev">(3)</td>
-    <td class="data-mean">406</td>
-    <td class="data-stddev">(5)</td>
-    <td class="data-mean">1039</td>
-    <td class="data-stddev">(6)</td>
+    <td class="data-mean">407</td>
+    <td class="data-stddev">(4)</td>
+    <td class="data-mean">1057</td>
+    <td class="data-stddev">(14)</td>
   </tr>  <tr>
     <td>Armv8a</td>
     <td class="data-table-right">64</td>
     <td>A57/Tx1/Jetson</td>
     <td class="data-table-right">1.9 GHz</td>
-    <td class="data-mean">754</td>
-    <td class="data-stddev">(26)</td>
-    <td class="data-mean">415</td>
-    <td class="data-stddev">(7)</td>
-    <td class="data-mean">434</td>
+    <td class="data-mean">759</td>
+    <td class="data-stddev">(27)</td>
+    <td class="data-mean">419</td>
+    <td class="data-stddev">(9)</td>
+    <td class="data-mean">428</td>
+    <td class="data-stddev">(8)</td>
+    <td class="data-mean">1017</td>
     <td class="data-stddev">(4)</td>
-    <td class="data-mean">977</td>
-    <td class="data-stddev">(14)</td>
   </tr>  <tr>
     <td>RV64IMAC</td>
     <td class="data-table-right">64</td>
     <td>U54-MC/SiFive Freedom U540/Hifive</td>
     <td class="data-table-right">1.5 GHz</td>
-    <td class="data-mean">2927</td>
-    <td class="data-stddev">(132)</td>
-    <td class="data-mean">686</td>
-    <td class="data-stddev">(43)</td>
-    <td class="data-mean">894</td>
-    <td class="data-stddev">(93)</td>
-    <td class="data-mean">3856</td>
-    <td class="data-stddev">(150)</td>
+    <td class="data-mean">2939</td>
+    <td class="data-stddev">(137)</td>
+    <td class="data-mean">675</td>
+    <td class="data-stddev">(18)</td>
+    <td class="data-mean">910</td>
+    <td class="data-stddev">(118)</td>
+    <td class="data-mean">3841</td>
+    <td class="data-stddev">(138)</td>
   </tr></table>
 
 <h2>Compilation Details</h2>
@@ -349,43 +349,64 @@ <h3>MCS</h3>
   </tr></table>
 
 <h2>Source Code</h2>
-<p>This page was generated on 2024-10-25 for sel4bench-manifest <a href="https://github.com/seL4/sel4bench-manifest/blob/8c799e7cefdc99020511f306cca817f143ff9ce5/default.xml">8c799e7c</a>.</p>
+<p>This page was generated on 2024-11-11 for sel4bench-manifest <a href="https://github.com/seL4/sel4bench-manifest/blob/7e2229f3a9475a684b2280352ca5cec282667d23/default.xml">7e2229f3</a>.</p>
 <div class="divider"></div>
 </div><!-- container -->
 </div><!--content-wrap-->
 <footer class="page-footer small pt-3" id="footer"> <!-- footer -->
   <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=/website_pr_hosting/PR_417/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=/website_pr_hosting/PR_417/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=/website_pr_hosting/PR_417/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=/website_pr_hosting/PR_417/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=/website_pr_hosting/PR_417/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=/website_pr_hosting/PR_417/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=/website_pr_hosting/PR_417/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=/website_pr_hosting/PR_417/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=/website_pr_hosting/PR_417/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=/website_pr_hosting/PR_417/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=/website_pr_hosting/PR_417/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=/website_pr_hosting/PR_417/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=/website_pr_hosting/PR_417/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=/website_pr_hosting/PR_417/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=/website_pr_hosting/PR_417/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=/website_pr_hosting/PR_417/images/icons/linkedin.svg alt="linkedin icon"></a>
+
       </div>
     </div>
   </div>

diff --git a/PR_417/About/index.html b/PR_417/About/index.html
@@ -191,35 +191,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=/website_pr_hosting/PR_417/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=/website_pr_hosting/PR_417/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=/website_pr_hosting/PR_417/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=/website_pr_hosting/PR_417/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=/website_pr_hosting/PR_417/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=/website_pr_hosting/PR_417/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=/website_pr_hosting/PR_417/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=/website_pr_hosting/PR_417/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=/website_pr_hosting/PR_417/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=/website_pr_hosting/PR_417/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=/website_pr_hosting/PR_417/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=/website_pr_hosting/PR_417/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=/website_pr_hosting/PR_417/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=/website_pr_hosting/PR_417/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=/website_pr_hosting/PR_417/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=/website_pr_hosting/PR_417/images/icons/linkedin.svg alt="linkedin icon"></a>
+
       </div>
     </div>
   </div>