Add arm64 FreeBSD

Also consistently use X86 (though I prefer x86).

diff --git a/info/platforms.html b/info/platforms.html
index 22697a41056a41cf559c8d474d1f5294d3822553..5004a35895aa781878bfd482c0bf9869806c910a 100644 (file)
--- a/info/platforms.html
+++ b/info/platforms.html
@@ -6,7 +6,7 @@
 
 <p>Valgrind supports the following platforms:</p>
 <ul>
-<li><b>x86/Linux:</b> up to and including SSSE3, but not higher -- no SSE4, AVX, AVX2.  This target is in maintenance mode now..</li>
+<li><b>X86/Linux:</b> up to and including SSSE3, but not higher -- no SSE4, AVX, AVX2.  This target is in maintenance mode now..</li>
 <li><b>AMD64/Linux:</b> up to and including AVX2.  This is the primary development target and tends to be well supported.</li>
 <li><b>PPC32/Linux, PPC64/Linux, PPC64LE/Linux:</b> up to and including Power8.</li>
 <li><b>S390X/Linux:</b> supported.</li>
@@ -14,6 +14,7 @@
 <li><b>ARM64/Linux:</b> supported for ARMv8.</li>
 <li><b>MIPS32/Linux, MIPS64/Linux:</b> supported.</li>
 <li><b>X86/FreeBSD, AMD64/FreeBSD</b>: supported since FreeBSD 11.3.</li>
+<li><b>ARM64/FreeBSD</b>: supported since FreeBSD 14.</li>
 <li><b>X86/Solaris, AMD64/Solaris, X86/illumos, AMD64/illumos</b>: supported since Solaris 11.</li>
 <li><b>X86/Darwin (10.5 to 10.13), AMD64/Darwin (10.5 to 10.13):</b> supported.</li>
 <li><b>ARM/Android, ARM64/Android, MIPS32/Android, X86/Android:</b> supported.</li>
@@ -74,7 +75,7 @@ Doug Rabson and others did a fairly complete port of early Valgrind 3.X starting
 <a name="porting_plans"></a><h2>Porting Plans</h2>
 
 <p>Valgrind 3.X has the infrastructure to support multiple platforms.  A
-platform is a specific (CPU,OS) pairing, such as x86/Linux or
+platform is a specific (CPU,OS) pairing, such as X86/Linux or
 AMD64/Linux.</p>
 
 <p>Maintaining each port takes a lot of effort, more so than for most