[Gmp-commit] /var/hg/www: pi4 and odc2 now in new "green" location.

[mercurial at gmplib.org]

details:   /var/hg/www/rev/cdfd215b23d2
changeset: 280:cdfd215b23d2
user:      Torbjorn Granlund <tg at gmplib.org>
date:      Tue Nov 17 11:36:44 2020 +0100
description:
pi4 and odc2 now in new "green" location.

diffstat:

 devel/testsystems.html |  17 ++++++++++++++---
 1 files changed, 14 insertions(+), 3 deletions(-)

diffs (51 lines):

diff -r a3d0a37a9e4b -r cdfd215b23d2 devel/testsystems.html
--- a/devel/testsystems.html	Tue Nov 17 11:20:19 2020 +0100
+++ b/devel/testsystems.html	Tue Nov 17 11:36:44 2020 +0100
@@ -29,7 +29,7 @@
       </td>
       <td style="text-align:center;">
 	<span style="font-size:200%;">GMP test systems </span> <br>
-	<span style="font-size:75%;">Last modified: 2020-11-10 </span>
+	<span style="font-size:75%;">Last modified: 2020-11-17 </span>
       </td>
     </tr>
   </table>
@@ -97,9 +97,20 @@
     <td style="width:20pt; background-color:#80b0f0">   </td>
     <td> Salt, access via TUG's <code>shell.gmplib.org</code> and then as per instructions above </td>
   </tr>
+  <tr>
+    <td style="width:20pt; background-color:#b0ffd0">   </td>
+    <td style="width:20pt; background-color:#80f0b0">   </td>
+    <td> Sol, access via TUG's <code>shell.gmplib.org</code> and then directly to each system </td>
+  </tr>
 </table>
 </blockquote>
 
+<p>
+The colours in the RAM column indicate the presence of ECC; green means the
+system has ECC memory while red means it lacks ECC.  Some level of spurious
+miscomputation is to be expected from all non-ECC systems.
+</p>
+
 <h4>Real hardware systems</h4>
 
 <blockquote>
@@ -798,7 +809,7 @@
 	  <td> on
 	  <td> Raspberry Pi 3 B+
 	</tr>
-	<tr style="background-color:#80b0f0">
+	<tr style="background-color:#b0ffd0">
 	  <td> odc2
 	  <td> armv8a
 	  <td> Cortex-A53
@@ -830,7 +841,7 @@
 	  <td> on
 	  <td> Odroid-C4
 	</tr>
-	<tr style="background-color:#80b0f0">
+	<tr style="background-color:#b0ffd0">
 	  <td> pi4
 	  <td> armv8a
 	  <td> Cortex-A72