svn commit: r46548 - head/en_US.ISO8859-1/htdocs/news/status
Benjamin Kaduk
bjk at FreeBSD.org
Tue Apr 14 23:37:07 UTC 2015
Author: bjk
Date: Tue Apr 14 23:37:05 2015
New Revision: 46548
URL: https://svnweb.freebsd.org/changeset/doc/46548
Log:
Add CHERIBSD report
Approved by: hrs (mentor, implicit)
Modified:
head/en_US.ISO8859-1/htdocs/news/status/report-2015-01-2015-03.xml
Modified: head/en_US.ISO8859-1/htdocs/news/status/report-2015-01-2015-03.xml
==============================================================================
--- head/en_US.ISO8859-1/htdocs/news/status/report-2015-01-2015-03.xml Tue Apr 14 23:31:28 2015 (r46547)
+++ head/en_US.ISO8859-1/htdocs/news/status/report-2015-01-2015-03.xml Tue Apr 14 23:37:05 2015 (r46548)
@@ -1527,4 +1527,70 @@ WITHOUT_FORTH=y</pre>
</task>
</help>
</project>
+
+ <project cat='proj'>
+ <title>CheriBSD</title>
+
+ <contact>
+ <person>
+ <name>
+ <given>Robert</given>
+ <common>Watson</common>
+ </name>
+ <email>rwatson at FreeBSD.org</email>
+ </person>
+
+ <person>
+ <name>
+ <given>Brooks</given>
+ <common>Davis</common>
+ </name>
+ <email>brooks at FreeBSD.org</email>
+ </person>
+
+ <person>
+ <name>
+ <given>David</given>
+ <common>Chisnall</common>
+ </name>
+ <email>theraven at FreeBSD.org</email>
+ </person>
+
+ <person>
+ <name>
+ <given>Ruslan</given>
+ <common>Bukin</common>
+ </name>
+ <email>br at FreeBSD.org</email>
+ </person>
+ </contact>
+
+ <links>
+ <url href="http://cheri-cpu.org/" />
+ </links>
+
+ <body>
+ <p>CheriBSD is a fork of &os; to support the CHERI
+ research CPU. We have extended the kernel to provide support
+ for CHERI memory capabilities as well as modifying applications
+ and libraries including tcpdump, libmagic, and libz to take
+ advantage of these capabilities for improved memory safety and
+ compartmentalization. We have also developed custom demo
+ applications and deployment infrastructure for our table demo
+ platform.</p>
+
+ <p>As this goes to press, we are finalizing our first open
+ source release of the CHERI CPU which will be available from
+ the CHERI CPU website (in the links).</p>
+
+ <p>We have been merging support for the BERI CPU platform
+ to &os; since 2012 and continue to do so as new features are
+ developed. Most recently Ruslan has added support for the
+ Terasis SoCkit board which combines an ARM processor with an
+ FPGA capable of running BERI (and soon CHERI) in a single
+ package.</p>
+ </body>
+
+ <sponsor>DARPA/AFRL</sponsor>
+ </project>
</report>
More information about the svn-doc-all
mailing list