Date: Tue, 14 Apr 2015 23:37:06 +0000 (UTC) From: Benjamin Kaduk <bjk@FreeBSD.org> To: doc-committers@freebsd.org, svn-doc-all@freebsd.org, svn-doc-head@freebsd.org Subject: svn commit: r46548 - head/en_US.ISO8859-1/htdocs/news/status Message-ID: <201504142337.t3ENb6xw075669@svn.freebsd.org>
next in thread | raw e-mail | index | archive | help
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@FreeBSD.org</email> + </person> + + <person> + <name> + <given>Brooks</given> + <common>Davis</common> + </name> + <email>brooks@FreeBSD.org</email> + </person> + + <person> + <name> + <given>David</given> + <common>Chisnall</common> + </name> + <email>theraven@FreeBSD.org</email> + </person> + + <person> + <name> + <given>Ruslan</given> + <common>Bukin</common> + </name> + <email>br@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>
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201504142337.t3ENb6xw075669>