svn commit: r45612 - head/en_US.ISO8859-1/htdocs/platforms

[Gavin Atkinson]

Author: gavin
Date: Mon Sep 15 23:40:29 2014
New Revision: 45612
URL: http://svnweb.freebsd.org/changeset/doc/45612

Log:
  Add BERI/CHERI to list of CPUs supported by FreeBSD/MIPS.
  
  Submitted by:	rwatson

Modified:
  head/en_US.ISO8859-1/htdocs/platforms/mips.xml

Modified: head/en_US.ISO8859-1/htdocs/platforms/mips.xml
==============================================================================
--- head/en_US.ISO8859-1/htdocs/platforms/mips.xml	Mon Sep 15 17:27:58 2014	(r45611)
+++ head/en_US.ISO8859-1/htdocs/platforms/mips.xml	Mon Sep 15 23:40:29 2014	(r45612)
@@ -63,6 +63,7 @@
     <li>Atheros AR71xx, AR724x, AR91xx, AR933x, AR934x</li>
     <li>Cavium OCTEON</li>
     <li>NetLogic XLR/XLS CPU family</li>
+    <li>SRI/Cambridge's BERI and CHERI open-source FPGA soft-cores</li>
   </ul>
 
   <p>Note that not all peripherals are supported on all CPUs.</p>