Add BERI/CHERI to list of CPUs supported by FreeBSD/MIPS.

Submitted by:	rwatson
This commit is contained in:
Gavin Atkinson 2014-09-15 23:40:29 +00:00
parent 49423b2893
commit 48673a9dbf
Notes: svn2git 2020-12-08 03:00:23 +00:00
svn path=/head/; revision=45612

View file

@ -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>