diff --git a/About/Performance/index.html b/About/Performance/index.html
index a21aaa44..19ede9f0 100644
--- a/About/Performance/index.html
+++ b/About/Performance/index.html
@@ -33,65 +33,65 @@ <h1>Performance</h1>
     <td>A9/i.MX6/Sabre</td>
     <td class="data-table-right">1.0 GHz</td>
     <td class="data-mean">583</td>
-    <td class="data-stddev">(11)</td>
-    <td class="data-mean">317</td>
-    <td class="data-stddev">(2)</td>
-    <td class="data-mean">343</td>
+    <td class="data-stddev">(12)</td>
+    <td class="data-mean">315</td>
+    <td class="data-stddev">(3)</td>
+    <td class="data-mean">344</td>
+    <td class="data-stddev">(9)</td>
+    <td class="data-mean">836</td>
     <td class="data-stddev">(10)</td>
-    <td class="data-mean">837</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">1576</td>
-    <td class="data-stddev">(253)</td>
-    <td class="data-mean">578</td>
-    <td class="data-stddev">(13)</td>
+    <td class="data-mean">1535</td>
+    <td class="data-stddev">(246)</td>
+    <td class="data-mean">576</td>
+    <td class="data-stddev">(12)</td>
     <td class="data-mean">584</td>
     <td class="data-stddev">(13)</td>
-    <td class="data-mean">1319</td>
-    <td class="data-stddev">(77)</td>
+    <td class="data-mean">1234</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">1308</td>
-    <td class="data-stddev">(201)</td>
+    <td class="data-mean">1259</td>
+    <td class="data-stddev">(206)</td>
     <td class="data-mean">382</td>
     <td class="data-stddev">(3)</td>
-    <td class="data-mean">379</td>
-    <td class="data-stddev">(4)</td>
-    <td class="data-mean">755</td>
-    <td class="data-stddev">(83)</td>
+    <td class="data-mean">381</td>
+    <td class="data-stddev">(3)</td>
+    <td class="data-mean">754</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">670</td>
+    <td class="data-mean">673</td>
     <td class="data-stddev">(31)</td>
-    <td class="data-mean">414</td>
+    <td class="data-mean">417</td>
     <td class="data-stddev">(5)</td>
-    <td class="data-mean">410</td>
-    <td class="data-stddev">(3)</td>
-    <td class="data-mean">878</td>
-    <td class="data-stddev">(9)</td>
+    <td class="data-mean">415</td>
+    <td class="data-stddev">(0)</td>
+    <td class="data-mean">924</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">975</td>
-    <td class="data-stddev">(80)</td>
-    <td class="data-mean">499</td>
-    <td class="data-stddev">(99)</td>
-    <td class="data-mean">623</td>
-    <td class="data-stddev">(7)</td>
-    <td class="data-mean">1362</td>
-    <td class="data-stddev">(68)</td>
+    <td class="data-stddev">(71)</td>
+    <td class="data-mean">466</td>
+    <td class="data-stddev">(9)</td>
+    <td class="data-mean">660</td>
+    <td class="data-stddev">(106)</td>
+    <td class="data-mean">1339</td>
+    <td class="data-stddev">(58)</td>
   </tr></table>
 
 <h2>MCS</h2>
@@ -110,66 +110,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">879</td>
-    <td class="data-stddev">(34)</td>
+    <td class="data-mean">880</td>
+    <td class="data-stddev">(32)</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">1225</td>
-    <td class="data-stddev">(17)</td>
+    <td class="data-mean">363</td>
+    <td class="data-stddev">(3)</td>
+    <td class="data-mean">1230</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">1967</td>
-    <td class="data-stddev">(429)</td>
-    <td class="data-mean">588</td>
-    <td class="data-stddev">(12)</td>
+    <td class="data-mean">2013</td>
+    <td class="data-stddev">(437)</td>
+    <td class="data-mean">589</td>
+    <td class="data-stddev">(11)</td>
     <td class="data-mean">602</td>
-    <td class="data-stddev">(13)</td>
-    <td class="data-mean">1590</td>
+    <td class="data-stddev">(12)</td>
+    <td class="data-mean">1591</td>
     <td class="data-stddev">(6)</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">1718</td>
-    <td class="data-stddev">(332)</td>
-    <td class="data-mean">382</td>
+    <td class="data-mean">1678</td>
+    <td class="data-stddev">(325)</td>
+    <td class="data-mean">381</td>
     <td class="data-stddev">(2)</td>
-    <td class="data-mean">408</td>
-    <td class="data-stddev">(4)</td>
-    <td class="data-mean">1040</td>
-    <td class="data-stddev">(15)</td>
+    <td class="data-mean">410</td>
+    <td class="data-stddev">(5)</td>
+    <td class="data-mean">1037</td>
+    <td class="data-stddev">(8)</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-mean">755</td>
     <td class="data-stddev">(24)</td>
     <td class="data-mean">413</td>
     <td class="data-stddev">(0)</td>
-    <td class="data-mean">436</td>
+    <td class="data-mean">446</td>
     <td class="data-stddev">(12)</td>
-    <td class="data-mean">1019</td>
-    <td class="data-stddev">(18)</td>
+    <td class="data-mean">1017</td>
+    <td class="data-stddev">(10)</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">2977</td>
-    <td class="data-stddev">(164)</td>
-    <td class="data-mean">683</td>
-    <td class="data-stddev">(17)</td>
-    <td class="data-mean">890</td>
-    <td class="data-stddev">(65)</td>
-    <td class="data-mean">3862</td>
-    <td class="data-stddev">(150)</td>
+    <td class="data-mean">2945</td>
+    <td class="data-stddev">(163)</td>
+    <td class="data-mean">681</td>
+    <td class="data-stddev">(20)</td>
+    <td class="data-mean">897</td>
+    <td class="data-stddev">(95)</td>
+    <td class="data-mean">3827</td>
+    <td class="data-stddev">(122)</td>
   </tr></table>
 
 <h2>Compilation Details</h2>
@@ -268,4 +268,4 @@ <h3>MCS</h3>
   </tr></table>
 
 <h2>Source Code</h2>
-<p>This page was generated on 2024-09-16 for sel4bench-manifest <a href="https://github.com/seL4/sel4bench-manifest/blob/76d07842aa61f189d0183f549b6fd6614686cea5/default.xml">76d07842</a>.</p>
\ No newline at end of file
+<p>This page was generated on 2024-09-23 for sel4bench-manifest <a href="https://github.com/seL4/sel4bench-manifest/blob/4d8a22b9e88d78789c3efe4612cf2f2bd114e867/default.xml">4d8a22b9</a>.</p>
\ No newline at end of file