auto-deployed

seL4 · Mar 27, 2024 · 868fdfe · 868fdfe
1 parent eef87ad
commit 868fdfe
Show file tree

Hide file tree

Showing 3 changed files with 230 additions and 230 deletions.
diff --git a/About/Performance/index.html b/About/Performance/index.html
@@ -115,66 +115,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">571</td>
-    <td class="data-stddev">(13)</td>
-    <td class="data-mean">318</td>
-    <td class="data-stddev">(1)</td>
-    <td class="data-mean">338</td>
+    <td class="data-mean">568</td>
+    <td class="data-stddev">(11)</td>
+    <td class="data-mean">316</td>
+    <td class="data-stddev">(2)</td>
+    <td class="data-mean">336</td>
     <td class="data-stddev">(2)</td>
-    <td class="data-mean">812</td>
+    <td class="data-mean">811</td>
     <td class="data-stddev">(7)</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">1659</td>
-    <td class="data-stddev">(256)</td>
-    <td class="data-mean">586</td>
+    <td class="data-mean">1636</td>
+    <td class="data-stddev">(253)</td>
+    <td class="data-mean">579</td>
     <td class="data-stddev">(12)</td>
-    <td class="data-mean">593</td>
+    <td class="data-mean">590</td>
     <td class="data-stddev">(13)</td>
-    <td class="data-mean">1242</td>
-    <td class="data-stddev">(78)</td>
+    <td class="data-mean">1247</td>
+    <td class="data-stddev">(76)</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">1228</td>
-    <td class="data-stddev">(201)</td>
-    <td class="data-mean">384</td>
-    <td class="data-stddev">(5)</td>
-    <td class="data-mean">387</td>
+    <td class="data-mean">1322</td>
+    <td class="data-stddev">(207)</td>
+    <td class="data-mean">382</td>
     <td class="data-stddev">(3)</td>
-    <td class="data-mean">767</td>
-    <td class="data-stddev">(81)</td>
+    <td class="data-mean">389</td>
+    <td class="data-stddev">(7)</td>
+    <td class="data-mean">770</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">665</td>
-    <td class="data-stddev">(36)</td>
-    <td class="data-mean">402</td>
-    <td class="data-stddev">(1)</td>
-    <td class="data-mean">415</td>
-    <td class="data-stddev">(0)</td>
-    <td class="data-mean">941</td>
+    <td class="data-mean">668</td>
+    <td class="data-stddev">(37)</td>
+    <td class="data-mean">404</td>
     <td class="data-stddev">(6)</td>
+    <td class="data-mean">418</td>
+    <td class="data-stddev">(8)</td>
+    <td class="data-mean">905</td>
+    <td class="data-stddev">(15)</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">972</td>
-    <td class="data-stddev">(72)</td>
-    <td class="data-mean">492</td>
-    <td class="data-stddev">(86)</td>
-    <td class="data-mean">646</td>
-    <td class="data-stddev">(76)</td>
+    <td class="data-mean">987</td>
+    <td class="data-stddev">(84)</td>
+    <td class="data-mean">516</td>
+    <td class="data-stddev">(125)</td>
+    <td class="data-mean">628</td>
+    <td class="data-stddev">(7)</td>
     <td class="data-mean">1367</td>
-    <td class="data-stddev">(64)</td>
+    <td class="data-stddev">(72)</td>
   </tr></table>
 
 <h2>MCS</h2>
@@ -194,65 +194,65 @@ <h2>MCS</h2>
     <td>A9/i.MX6/Sabre</td>
     <td class="data-table-right">1.0 GHz</td>
     <td class="data-mean">817</td>
-    <td class="data-stddev">(16)</td>
-    <td class="data-mean">323</td>
-    <td class="data-stddev">(3)</td>
-    <td class="data-mean">364</td>
+    <td class="data-stddev">(17)</td>
+    <td class="data-mean">325</td>
+    <td class="data-stddev">(6)</td>
+    <td class="data-mean">363</td>
     <td class="data-stddev">(2)</td>
-    <td class="data-mean">1228</td>
-    <td class="data-stddev">(16)</td>
+    <td class="data-mean">1211</td>
+    <td class="data-stddev">(15)</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">2030</td>
-    <td class="data-stddev">(424)</td>
-    <td class="data-mean">592</td>
-    <td class="data-stddev">(20)</td>
-    <td class="data-mean">601</td>
-    <td class="data-stddev">(13)</td>
-    <td class="data-mean">1600</td>
+    <td class="data-mean">2037</td>
+    <td class="data-stddev">(436)</td>
+    <td class="data-mean">599</td>
+    <td class="data-stddev">(19)</td>
+    <td class="data-mean">602</td>
+    <td class="data-stddev">(12)</td>
+    <td class="data-mean">1596</td>
     <td class="data-stddev">(14)</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">1685</td>
-    <td class="data-stddev">(334)</td>
-    <td class="data-mean">389</td>
-    <td class="data-stddev">(3)</td>
-    <td class="data-mean">409</td>
-    <td class="data-stddev">(4)</td>
-    <td class="data-mean">1066</td>
-    <td class="data-stddev">(9)</td>
+    <td class="data-mean">1738</td>
+    <td class="data-stddev">(336)</td>
+    <td class="data-mean">388</td>
+    <td class="data-stddev">(2)</td>
+    <td class="data-mean">411</td>
+    <td class="data-stddev">(5)</td>
+    <td class="data-mean">1067</td>
+    <td class="data-stddev">(6)</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">758</td>
-    <td class="data-stddev">(27)</td>
+    <td class="data-mean">759</td>
+    <td class="data-stddev">(29)</td>
+    <td class="data-mean">433</td>
+    <td class="data-stddev">(5)</td>
     <td class="data-mean">429</td>
-    <td class="data-stddev">(10)</td>
-    <td class="data-mean">449</td>
-    <td class="data-stddev">(14)</td>
-    <td class="data-mean">971</td>
-    <td class="data-stddev">(17)</td>
+    <td class="data-stddev">(4)</td>
+    <td class="data-mean">957</td>
+    <td class="data-stddev">(12)</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">1980</td>
-    <td class="data-stddev">(80)</td>
-    <td class="data-mean">705</td>
-    <td class="data-stddev">(75)</td>
-    <td class="data-mean">862</td>
-    <td class="data-stddev">(23)</td>
-    <td class="data-mean">2585</td>
-    <td class="data-stddev">(77)</td>
+    <td class="data-mean">1964</td>
+    <td class="data-stddev">(39)</td>
+    <td class="data-mean">729</td>
+    <td class="data-stddev">(114)</td>
+    <td class="data-mean">885</td>
+    <td class="data-stddev">(97)</td>
+    <td class="data-mean">2588</td>
+    <td class="data-stddev">(89)</td>
   </tr></table>
 
 <h2>Compilation Details</h2>
@@ -351,7 +351,7 @@ <h3>MCS</h3>
   </tr></table>
 
 <h2>Source Code</h2>
-<p>This page was generated on 2024-03-26 for sel4bench-manifest <a href="https://github.com/seL4/sel4bench-manifest/blob/5c05eca29dae997507e7f231040b719b1b4603fc/default.xml">5c05eca2</a>.</p>
+<p>This page was generated on 2024-03-27 for sel4bench-manifest <a href="https://github.com/seL4/sel4bench-manifest/blob/014a7f865b0164806c40a6de9af5c3469b973d38/default.xml">014a7f86</a>.</p>
 <div class="divider"></div>
 </div><!-- container -->
 </div><!--content-wrap-->

diff --git a/redirects.json b/redirects.json
@@ -1 +1 @@
-{"/news.html":"https://sel4.systems/news/","/Foundation/Summit/abstracts2022.html":"https://sel4.systems/Foundation/Summit/2022/abstracts2022.html","/Foundation/Summit/abstracts2022.pml":"https://sel4.systems/Foundation/Summit/2022/abstracts2022.html","/Foundation/Summit/abstracts2023.html":"https://sel4.systems/Foundation/Summit/2023/abstracts2023.html","/Foundation/Summit/abstracts2023.pml":"https://sel4.systems/Foundation/Summit/2023/abstracts2023.html","/Foundation/Summit/cfp.html":"https://sel4.systems/Foundation/Summit/2024/cfp.html","/Foundation/Board/Minutes/home.pml":"https://sel4.systems/Foundation/Board/Minutes/","/Foundation/Board/home.pml":"https://sel4.systems/Foundation/Board/","/Foundation/Services/home.pml":"https://sel4.systems/Foundation/Services/","/Foundation/Support/home.pml":"https://sel4.systems/Foundation/Support/","/Foundation/Jobs/home.pml":"https://sel4.systems/Foundation/Jobs/","/Foundation/Contact/home.pml":"https://sel4.systems/Foundation/Contact/","/Foundation/Membership/home.pml":"https://sel4.systems/Foundation/Membership/","/Foundation/Join/home.pml":"https://sel4.systems/Foundation/Join/","/Foundation/TSC/home.pml":"https://sel4.systems/Foundation/TSC/","/Foundation/Governance/home.pml":"https://sel4.systems/Foundation/Governance/","/Foundation/Summit/2023/home.pml":"https://sel4.systems/Foundation/Summit/2023/","/Foundation/Summit/2022/home.pml":"https://sel4.systems/Foundation/Summit/2022/","/Foundation/Summit/home.pml":"https://sel4.systems/Foundation/Summit/","/Foundation/Trademark/home.pml":"https://sel4.systems/Foundation/Trademark/","/Foundation/home.pml":"https://sel4.systems/Foundation/","/About/Performance/home.pml":"https://sel4.systems/About/Performance/","/About/home.pml":"https://sel4.systems/About/","/About/seL4/index.html":"https://sel4.systems/About/","/Info/Docs/":"https://docs.sel4.systems/Documentation","/Info/FAQ/":"https://docs.sel4.systems/projects/sel4/frequently-asked-questions.html","/Info/home.pml":"https://sel4.systems/Info/","/Use/home.pml":"https://sel4.systems/Use/","/Learn/home.pml":"https://sel4.systems/Learn/","/Contribute/home.pml":"https://sel4.systems/Contribute/","/contact/mailman/":"https://lists.sel4.systems/postorius/lists/","/contact/home.pml":"https://sel4.systems/contact/","/home.pml":"https://sel4.systems/","/About/more-research.html":"https://sel4.systems/Info/more-research.html","/Foundation/Summit/program.html":"https://sel4.systems/Foundation/Summit/2023/program.html"}
+{"/news.html":"https://sel4.systems/news/","/Foundation/Summit/abstracts2022.html":"https://sel4.systems/Foundation/Summit/2022/abstracts2022.html","/Foundation/Summit/abstracts2022.pml":"https://sel4.systems/Foundation/Summit/2022/abstracts2022.html","/Foundation/Summit/abstracts2023.html":"https://sel4.systems/Foundation/Summit/2023/abstracts2023.html","/Foundation/Summit/abstracts2023.pml":"https://sel4.systems/Foundation/Summit/2023/abstracts2023.html","/Foundation/Summit/cfp.html":"https://sel4.systems/Foundation/Summit/2024/cfp.html","/Use/home.pml":"https://sel4.systems/Use/","/About/Performance/home.pml":"https://sel4.systems/About/Performance/","/About/home.pml":"https://sel4.systems/About/","/About/seL4/index.html":"https://sel4.systems/About/","/contact/mailman/":"https://lists.sel4.systems/postorius/lists/","/contact/home.pml":"https://sel4.systems/contact/","/Foundation/Summit/2022/home.pml":"https://sel4.systems/Foundation/Summit/2022/","/Foundation/Summit/2023/home.pml":"https://sel4.systems/Foundation/Summit/2023/","/Foundation/Summit/home.pml":"https://sel4.systems/Foundation/Summit/","/Foundation/Support/home.pml":"https://sel4.systems/Foundation/Support/","/Foundation/Jobs/home.pml":"https://sel4.systems/Foundation/Jobs/","/Foundation/Board/Minutes/home.pml":"https://sel4.systems/Foundation/Board/Minutes/","/Foundation/Board/home.pml":"https://sel4.systems/Foundation/Board/","/Foundation/Trademark/home.pml":"https://sel4.systems/Foundation/Trademark/","/Foundation/Membership/home.pml":"https://sel4.systems/Foundation/Membership/","/Foundation/Contact/home.pml":"https://sel4.systems/Foundation/Contact/","/Foundation/Governance/home.pml":"https://sel4.systems/Foundation/Governance/","/Foundation/TSC/home.pml":"https://sel4.systems/Foundation/TSC/","/Foundation/Services/home.pml":"https://sel4.systems/Foundation/Services/","/Foundation/Join/home.pml":"https://sel4.systems/Foundation/Join/","/Foundation/home.pml":"https://sel4.systems/Foundation/","/Contribute/home.pml":"https://sel4.systems/Contribute/","/Learn/home.pml":"https://sel4.systems/Learn/","/Info/FAQ/":"https://docs.sel4.systems/projects/sel4/frequently-asked-questions.html","/Info/Docs/":"https://docs.sel4.systems/Documentation","/Info/home.pml":"https://sel4.systems/Info/","/home.pml":"https://sel4.systems/","/About/more-research.html":"https://sel4.systems/Info/more-research.html","/Foundation/Summit/program.html":"https://sel4.systems/Foundation/Summit/2023/program.html"}
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		{"/news.html":"https://sel4.systems/news/","/Foundation/Summit/abstracts2022.html":"https://sel4.systems/Foundation/Summit/2022/abstracts2022.html","/Foundation/Summit/abstracts2022.pml":"https://sel4.systems/Foundation/Summit/2022/abstracts2022.html","/Foundation/Summit/abstracts2023.html":"https://sel4.systems/Foundation/Summit/2023/abstracts2023.html","/Foundation/Summit/abstracts2023.pml":"https://sel4.systems/Foundation/Summit/2023/abstracts2023.html","/Foundation/Summit/cfp.html":"https://sel4.systems/Foundation/Summit/2024/cfp.html","/Foundation/Board/Minutes/home.pml":"https://sel4.systems/Foundation/Board/Minutes/","/Foundation/Board/home.pml":"https://sel4.systems/Foundation/Board/","/Foundation/Services/home.pml":"https://sel4.systems/Foundation/Services/","/Foundation/Support/home.pml":"https://sel4.systems/Foundation/Support/","/Foundation/Jobs/home.pml":"https://sel4.systems/Foundation/Jobs/","/Foundation/Contact/home.pml":"https://sel4.systems/Foundation/Contact/","/Foundation/Membership/home.pml":"https://sel4.systems/Foundation/Membership/","/Foundation/Join/home.pml":"https://sel4.systems/Foundation/Join/","/Foundation/TSC/home.pml":"https://sel4.systems/Foundation/TSC/","/Foundation/Governance/home.pml":"https://sel4.systems/Foundation/Governance/","/Foundation/Summit/2023/home.pml":"https://sel4.systems/Foundation/Summit/2023/","/Foundation/Summit/2022/home.pml":"https://sel4.systems/Foundation/Summit/2022/","/Foundation/Summit/home.pml":"https://sel4.systems/Foundation/Summit/","/Foundation/Trademark/home.pml":"https://sel4.systems/Foundation/Trademark/","/Foundation/home.pml":"https://sel4.systems/Foundation/","/About/Performance/home.pml":"https://sel4.systems/About/Performance/","/About/home.pml":"https://sel4.systems/About/","/About/seL4/index.html":"https://sel4.systems/About/","/Info/Docs/":"https://docs.sel4.systems/Documentation","/Info/FAQ/":"https://docs.sel4.systems/projects/sel4/frequently-asked-questions.html","/Info/home.pml":"https://sel4.systems/Info/","/Use/home.pml":"https://sel4.systems/Use/","/Learn/home.pml":"https://sel4.systems/Learn/","/Contribute/home.pml":"https://sel4.systems/Contribute/","/contact/mailman/":"https://lists.sel4.systems/postorius/lists/","/contact/home.pml":"https://sel4.systems/contact/","/home.pml":"https://sel4.systems/","/About/more-research.html":"https://sel4.systems/Info/more-research.html","/Foundation/Summit/program.html":"https://sel4.systems/Foundation/Summit/2023/program.html"}
		{"/news.html":"https://sel4.systems/news/","/Foundation/Summit/abstracts2022.html":"https://sel4.systems/Foundation/Summit/2022/abstracts2022.html","/Foundation/Summit/abstracts2022.pml":"https://sel4.systems/Foundation/Summit/2022/abstracts2022.html","/Foundation/Summit/abstracts2023.html":"https://sel4.systems/Foundation/Summit/2023/abstracts2023.html","/Foundation/Summit/abstracts2023.pml":"https://sel4.systems/Foundation/Summit/2023/abstracts2023.html","/Foundation/Summit/cfp.html":"https://sel4.systems/Foundation/Summit/2024/cfp.html","/Use/home.pml":"https://sel4.systems/Use/","/About/Performance/home.pml":"https://sel4.systems/About/Performance/","/About/home.pml":"https://sel4.systems/About/","/About/seL4/index.html":"https://sel4.systems/About/","/contact/mailman/":"https://lists.sel4.systems/postorius/lists/","/contact/home.pml":"https://sel4.systems/contact/","/Foundation/Summit/2022/home.pml":"https://sel4.systems/Foundation/Summit/2022/","/Foundation/Summit/2023/home.pml":"https://sel4.systems/Foundation/Summit/2023/","/Foundation/Summit/home.pml":"https://sel4.systems/Foundation/Summit/","/Foundation/Support/home.pml":"https://sel4.systems/Foundation/Support/","/Foundation/Jobs/home.pml":"https://sel4.systems/Foundation/Jobs/","/Foundation/Board/Minutes/home.pml":"https://sel4.systems/Foundation/Board/Minutes/","/Foundation/Board/home.pml":"https://sel4.systems/Foundation/Board/","/Foundation/Trademark/home.pml":"https://sel4.systems/Foundation/Trademark/","/Foundation/Membership/home.pml":"https://sel4.systems/Foundation/Membership/","/Foundation/Contact/home.pml":"https://sel4.systems/Foundation/Contact/","/Foundation/Governance/home.pml":"https://sel4.systems/Foundation/Governance/","/Foundation/TSC/home.pml":"https://sel4.systems/Foundation/TSC/","/Foundation/Services/home.pml":"https://sel4.systems/Foundation/Services/","/Foundation/Join/home.pml":"https://sel4.systems/Foundation/Join/","/Foundation/home.pml":"https://sel4.systems/Foundation/","/Contribute/home.pml":"https://sel4.systems/Contribute/","/Learn/home.pml":"https://sel4.systems/Learn/","/Info/FAQ/":"https://docs.sel4.systems/projects/sel4/frequently-asked-questions.html","/Info/Docs/":"https://docs.sel4.systems/Documentation","/Info/home.pml":"https://sel4.systems/Info/","/home.pml":"https://sel4.systems/","/About/more-research.html":"https://sel4.systems/Info/more-research.html","/Foundation/Summit/program.html":"https://sel4.systems/Foundation/Summit/2023/program.html"}