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