auto-deployed

seL4 · Jul 11, 2024 · 4f60f25 · 4f60f25
1 parent bcba23d
commit 4f60f25
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
@@ -119,62 +119,62 @@ <h1>Performance</h1>
     <td class="data-stddev">(13)</td>
     <td class="data-mean">317</td>
     <td class="data-stddev">(2)</td>
-    <td class="data-mean">345</td>
-    <td class="data-stddev">(8)</td>
-    <td class="data-mean">836</td>
+    <td class="data-mean">343</td>
+    <td class="data-stddev">(11)</td>
+    <td class="data-mean">831</td>
     <td class="data-stddev">(12)</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">1605</td>
-    <td class="data-stddev">(250)</td>
-    <td class="data-mean">578</td>
+    <td class="data-mean">1560</td>
+    <td class="data-stddev">(264)</td>
+    <td class="data-mean">581</td>
     <td class="data-stddev">(13)</td>
-    <td class="data-mean">588</td>
+    <td class="data-mean">589</td>
     <td class="data-stddev">(13)</td>
-    <td class="data-mean">1235</td>
-    <td class="data-stddev">(75)</td>
+    <td class="data-mean">1316</td>
+    <td class="data-stddev">(73)</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">1215</td>
-    <td class="data-stddev">(206)</td>
-    <td class="data-mean">383</td>
-    <td class="data-stddev">(2)</td>
-    <td class="data-mean">381</td>
-    <td class="data-stddev">(2)</td>
-    <td class="data-mean">753</td>
-    <td class="data-stddev">(84)</td>
+    <td class="data-mean">1266</td>
+    <td class="data-stddev">(210)</td>
+    <td class="data-mean">382</td>
+    <td class="data-stddev">(3)</td>
+    <td class="data-mean">382</td>
+    <td class="data-stddev">(4)</td>
+    <td class="data-mean">755</td>
+    <td class="data-stddev">(82)</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">672</td>
+    <td class="data-mean">673</td>
     <td class="data-stddev">(29)</td>
-    <td class="data-mean">418</td>
-    <td class="data-stddev">(12)</td>
-    <td class="data-mean">410</td>
-    <td class="data-stddev">(6)</td>
-    <td class="data-mean">912</td>
-    <td class="data-stddev">(6)</td>
+    <td class="data-mean">413</td>
+    <td class="data-stddev">(8)</td>
+    <td class="data-mean">411</td>
+    <td class="data-stddev">(9)</td>
+    <td class="data-mean">911</td>
+    <td class="data-stddev">(7)</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">968</td>
-    <td class="data-stddev">(81)</td>
-    <td class="data-mean">474</td>
-    <td class="data-stddev">(16)</td>
-    <td class="data-mean">630</td>
-    <td class="data-stddev">(8)</td>
-    <td class="data-mean">1357</td>
-    <td class="data-stddev">(70)</td>
+    <td class="data-mean">973</td>
+    <td class="data-stddev">(80)</td>
+    <td class="data-mean">493</td>
+    <td class="data-stddev">(94)</td>
+    <td class="data-mean">627</td>
+    <td class="data-stddev">(5)</td>
+    <td class="data-mean">1358</td>
+    <td class="data-stddev">(66)</td>
   </tr></table>
 
 <h2>MCS</h2>
@@ -193,66 +193,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">835</td>
-    <td class="data-stddev">(16)</td>
+    <td class="data-mean">853</td>
+    <td class="data-stddev">(20)</td>
     <td class="data-mean">323</td>
     <td class="data-stddev">(3)</td>
-    <td class="data-mean">364</td>
-    <td class="data-stddev">(2)</td>
-    <td class="data-mean">1203</td>
-    <td class="data-stddev">(14)</td>
+    <td class="data-mean">363</td>
+    <td class="data-stddev">(3)</td>
+    <td class="data-mean">1229</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">2085</td>
-    <td class="data-stddev">(411)</td>
-    <td class="data-mean">583</td>
+    <td class="data-mean">2075</td>
+    <td class="data-stddev">(405)</td>
+    <td class="data-mean">582</td>
     <td class="data-stddev">(13)</td>
-    <td class="data-mean">601</td>
-    <td class="data-stddev">(12)</td>
-    <td class="data-mean">1591</td>
-    <td class="data-stddev">(6)</td>
+    <td class="data-mean">599</td>
+    <td class="data-stddev">(13)</td>
+    <td class="data-mean">1532</td>
+    <td class="data-stddev">(21)</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">1614</td>
-    <td class="data-stddev">(345)</td>
-    <td class="data-mean">382</td>
+    <td class="data-mean">1607</td>
+    <td class="data-stddev">(344)</td>
+    <td class="data-mean">380</td>
+    <td class="data-stddev">(3)</td>
+    <td class="data-mean">411</td>
     <td class="data-stddev">(4)</td>
-    <td class="data-mean">408</td>
-    <td class="data-stddev">(10)</td>
-    <td class="data-mean">1034</td>
-    <td class="data-stddev">(9)</td>
+    <td class="data-mean">1053</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">755</td>
-    <td class="data-stddev">(25)</td>
-    <td class="data-mean">417</td>
-    <td class="data-stddev">(6)</td>
-    <td class="data-mean">439</td>
-    <td class="data-stddev">(8)</td>
-    <td class="data-mean">1035</td>
+    <td class="data-mean">763</td>
+    <td class="data-stddev">(23)</td>
+    <td class="data-mean">413</td>
+    <td class="data-stddev">(0)</td>
+    <td class="data-mean">441</td>
+    <td class="data-stddev">(4)</td>
+    <td class="data-mean">1011</td>
     <td class="data-stddev">(11)</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">2973</td>
-    <td class="data-stddev">(148)</td>
-    <td class="data-mean">674</td>
-    <td class="data-stddev">(20)</td>
-    <td class="data-mean">902</td>
-    <td class="data-stddev">(84)</td>
-    <td class="data-mean">3822</td>
-    <td class="data-stddev">(131)</td>
+    <td class="data-mean">2953</td>
+    <td class="data-stddev">(163)</td>
+    <td class="data-mean">704</td>
+    <td class="data-stddev">(79)</td>
+    <td class="data-mean">878</td>
+    <td class="data-stddev">(60)</td>
+    <td class="data-mean">3809</td>
+    <td class="data-stddev">(143)</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-07-08 for sel4bench-manifest <a href="https://github.com/seL4/sel4bench-manifest/blob/926d747783ec63bf99b2153ce34734b1d2c39430/default.xml">926d7477</a>.</p>
+<p>This page was generated on 2024-07-11 for sel4bench-manifest <a href="https://github.com/seL4/sel4bench-manifest/blob/745b1edb713db70971fc8ea519dcba38ed01c7a6/default.xml">745b1edb</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","/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/","/Foundation/Board/Minutes/home.pml":"https://sel4.systems/Foundation/Board/Minutes/","/Foundation/Board/home.pml":"https://sel4.systems/Foundation/Board/","/Foundation/Governance/home.pml":"https://sel4.systems/Foundation/Governance/","/Foundation/Contact/home.pml":"https://sel4.systems/Foundation/Contact/","/Foundation/Services/home.pml":"https://sel4.systems/Foundation/Services/","/Foundation/Join/home.pml":"https://sel4.systems/Foundation/Join/","/Foundation/Support/home.pml":"https://sel4.systems/Foundation/Support/","/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/Membership/home.pml":"https://sel4.systems/Foundation/Membership/","/Foundation/TSC/home.pml":"https://sel4.systems/Foundation/TSC/","/Foundation/Jobs/home.pml":"https://sel4.systems/Foundation/Jobs/","/Foundation/Trademark/home.pml":"https://sel4.systems/Foundation/Trademark/","/Foundation/home.pml":"https://sel4.systems/Foundation/","/contact/mailman/":"https://lists.sel4.systems/postorius/lists/","/contact/home.pml":"https://sel4.systems/contact/","/Contribute/home.pml":"https://sel4.systems/Contribute/","/Learn/home.pml":"https://sel4.systems/Learn/","/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/","/home.pml":"https://sel4.systems/","/About/more-research.html":"https://sel4.systems/Info/more-research.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","/contact/mailman/":"https://lists.sel4.systems/postorius/lists/","/contact/home.pml":"https://sel4.systems/contact/","/Foundation/Support/home.pml":"https://sel4.systems/Foundation/Support/","/Foundation/Services/home.pml":"https://sel4.systems/Foundation/Services/","/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/Contact/home.pml":"https://sel4.systems/Foundation/Contact/","/Foundation/Membership/home.pml":"https://sel4.systems/Foundation/Membership/","/Foundation/Board/Minutes/home.pml":"https://sel4.systems/Foundation/Board/Minutes/","/Foundation/Board/home.pml":"https://sel4.systems/Foundation/Board/","/Foundation/TSC/home.pml":"https://sel4.systems/Foundation/TSC/","/Foundation/Jobs/home.pml":"https://sel4.systems/Foundation/Jobs/","/Foundation/Governance/home.pml":"https://sel4.systems/Foundation/Governance/","/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/","/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/","/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"}
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","/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/","/Foundation/Board/Minutes/home.pml":"https://sel4.systems/Foundation/Board/Minutes/","/Foundation/Board/home.pml":"https://sel4.systems/Foundation/Board/","/Foundation/Governance/home.pml":"https://sel4.systems/Foundation/Governance/","/Foundation/Contact/home.pml":"https://sel4.systems/Foundation/Contact/","/Foundation/Services/home.pml":"https://sel4.systems/Foundation/Services/","/Foundation/Join/home.pml":"https://sel4.systems/Foundation/Join/","/Foundation/Support/home.pml":"https://sel4.systems/Foundation/Support/","/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/Membership/home.pml":"https://sel4.systems/Foundation/Membership/","/Foundation/TSC/home.pml":"https://sel4.systems/Foundation/TSC/","/Foundation/Jobs/home.pml":"https://sel4.systems/Foundation/Jobs/","/Foundation/Trademark/home.pml":"https://sel4.systems/Foundation/Trademark/","/Foundation/home.pml":"https://sel4.systems/Foundation/","/contact/mailman/":"https://lists.sel4.systems/postorius/lists/","/contact/home.pml":"https://sel4.systems/contact/","/Contribute/home.pml":"https://sel4.systems/Contribute/","/Learn/home.pml":"https://sel4.systems/Learn/","/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/","/home.pml":"https://sel4.systems/","/About/more-research.html":"https://sel4.systems/Info/more-research.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","/contact/mailman/":"https://lists.sel4.systems/postorius/lists/","/contact/home.pml":"https://sel4.systems/contact/","/Foundation/Support/home.pml":"https://sel4.systems/Foundation/Support/","/Foundation/Services/home.pml":"https://sel4.systems/Foundation/Services/","/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/Contact/home.pml":"https://sel4.systems/Foundation/Contact/","/Foundation/Membership/home.pml":"https://sel4.systems/Foundation/Membership/","/Foundation/Board/Minutes/home.pml":"https://sel4.systems/Foundation/Board/Minutes/","/Foundation/Board/home.pml":"https://sel4.systems/Foundation/Board/","/Foundation/TSC/home.pml":"https://sel4.systems/Foundation/TSC/","/Foundation/Jobs/home.pml":"https://sel4.systems/Foundation/Jobs/","/Foundation/Governance/home.pml":"https://sel4.systems/Foundation/Governance/","/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/","/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/","/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"}