CheriBSD

From owner-svn-doc-head@FreeBSD.ORG Tue Apr 14 23:37:07 2015 Return-Path: Delivered-To: svn-doc-head@freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:1900:2254:206a::19:1]) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by hub.freebsd.org (Postfix) with ESMTPS id F2D42835; Tue, 14 Apr 2015 23:37:06 +0000 (UTC) Received: from svn.freebsd.org (svn.freebsd.org [IPv6:2001:1900:2254:2068::e6a:0]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client did not present a certificate) by mx1.freebsd.org (Postfix) with ESMTPS id C4B20325; Tue, 14 Apr 2015 23:37:06 +0000 (UTC) Received: from svn.freebsd.org ([127.0.1.70]) by svn.freebsd.org (8.14.9/8.14.9) with ESMTP id t3ENb6Rm075670; Tue, 14 Apr 2015 23:37:06 GMT (envelope-from bjk@FreeBSD.org) Received: (from bjk@localhost) by svn.freebsd.org (8.14.9/8.14.9/Submit) id t3ENb6xw075669; Tue, 14 Apr 2015 23:37:06 GMT (envelope-from bjk@FreeBSD.org) Message-Id: <201504142337.t3ENb6xw075669@svn.freebsd.org> X-Authentication-Warning: svn.freebsd.org: bjk set sender to bjk@FreeBSD.org using -f From: Benjamin Kaduk Date: Tue, 14 Apr 2015 23:37:06 +0000 (UTC) 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 X-SVN-Group: doc-head MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-BeenThere: svn-doc-head@freebsd.org X-Mailman-Version: 2.1.20 Precedence: list List-Id: SVN commit messages for the doc tree for head List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Tue, 14 Apr 2015 23:37:07 -0000 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 + + + CheriBSD + + + + + Robert + Watson + + rwatson@FreeBSD.org + + + + + Brooks + Davis + + brooks@FreeBSD.org + + + + + David + Chisnall + + theraven@FreeBSD.org + + + + + Ruslan + Bukin + + br@FreeBSD.org + + + + + + + + +

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.

+ +

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).

+ +

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.

+ + + DARPA/AFRL +