From owner-dev-commits-doc-all@freebsd.org Tue Jan 26 23:21:07 2021 Return-Path: Delivered-To: dev-commits-doc-all@mailman.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mailman.nyi.freebsd.org (Postfix) with ESMTP id 2B7ED4E40E0 for ; Tue, 26 Jan 2021 23:21:07 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from mxrelay.nyi.freebsd.org (mxrelay.nyi.freebsd.org [IPv6:2610:1c1:1:606c::19:3]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256 client-signature RSA-PSS (4096 bits) client-digest SHA256) (Client CN "mxrelay.nyi.freebsd.org", Issuer "R3" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 4DQN5b0RNMz4d8g; Tue, 26 Jan 2021 23:21:07 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from gitrepo.freebsd.org (gitrepo.freebsd.org [IPv6:2610:1c1:1:6068::e6a:5]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256) (Client did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id 01D8E12925; Tue, 26 Jan 2021 23:21:07 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from gitrepo.freebsd.org ([127.0.1.44]) by gitrepo.freebsd.org (8.16.1/8.16.1) with ESMTP id 10QNL6lc054528; Tue, 26 Jan 2021 23:21:06 GMT (envelope-from git@gitrepo.freebsd.org) Received: (from git@localhost) by gitrepo.freebsd.org (8.16.1/8.16.1/Submit) id 10QNL6q2054527; Tue, 26 Jan 2021 23:21:06 GMT (envelope-from git) Date: Tue, 26 Jan 2021 23:21:06 GMT Message-Id: <202101262321.10QNL6q2054527@gitrepo.freebsd.org> To: doc-committers@FreeBSD.org, dev-commits-doc-all@FreeBSD.org From: Jessica Clarke Subject: git: 95f17be14b - main - Fix issues in past and present CheriBSD quarterly reports MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Git-Committer: jrtc27 X-Git-Repository: doc X-Git-Refname: refs/heads/main X-Git-Reftype: branch X-Git-Commit: 95f17be14bfc573b75985003dbbd440e99ca7eff Auto-Submitted: auto-generated X-BeenThere: dev-commits-doc-all@freebsd.org X-Mailman-Version: 2.1.34 Precedence: list List-Id: Commit messages for all branches of the doc repository List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Tue, 26 Jan 2021 23:21:07 -0000 The branch main has been updated by jrtc27 (src committer): URL: https://cgit.FreeBSD.org/doc/commit/?id=95f17be14bfc573b75985003dbbd440e99ca7eff commit 95f17be14bfc573b75985003dbbd440e99ca7eff Author: Jessica Clarke AuthorDate: 2021-01-21 03:14:12 +0000 Commit: Jessica Clarke CommitDate: 2021-01-26 23:20:52 +0000 Fix issues in past and present CheriBSD quarterly reports Reviewed by: debdrup Differential Revision: https://reviews.freebsd.org/D28264 --- website/content/en/status/report-2020-04-2020-06.html | 4 ++-- website/content/en/status/report-2020-07-2020-09.html | 8 ++++---- website/content/en/status/report-2020-10-2020-12.html | 8 ++++---- 3 files changed, 10 insertions(+), 10 deletions(-) diff --git a/website/content/en/status/report-2020-04-2020-06.html b/website/content/en/status/report-2020-04-2020-06.html index 21d28d1871..66bfc60e7f 100644 --- a/website/content/en/status/report-2020-04-2020-06.html +++ b/website/content/en/status/report-2020-04-2020-06.html @@ -1750,8 +1750,8 @@ support for CHERI-MIPS.

Much of this effort has been focused on preparing CheriBSD on CHERI-RISC-V for inclusion as a demonstrator system in DARPA's Finding -Exploits to Thwart Tampering (FETT Bug Bounty -program). +Exploits to Thwart Tampering (FETT) Bug Bounty +program.

In addition, work has begun this quarter on porting CheriBSD to Arm's Morello SoC. Morello is a prototype demonstrator board which adds CHERI diff --git a/website/content/en/status/report-2020-07-2020-09.html b/website/content/en/status/report-2020-07-2020-09.html index c8afb794f1..2c6b27698a 100644 --- a/website/content/en/status/report-2020-07-2020-09.html +++ b/website/content/en/status/report-2020-07-2020-09.html @@ -1681,14 +1681,14 @@ various new research features have been, or are currently being, merged:

CHERI Documentation and Exercises

FreeBSD/RISC-V Project

Links
Wiki diff --git a/website/content/en/status/report-2020-10-2020-12.html b/website/content/en/status/report-2020-10-2020-12.html index 9ebe7c42b4..e67590e93b 100644 --- a/website/content/en/status/report-2020-10-2020-12.html +++ b/website/content/en/status/report-2020-10-2020-12.html @@ -2118,11 +2118,11 @@ More details about upstream was updated to 0.8.202010101 (latest). ports (sysutils/bastille) was updated to 0.7.20200414. -

CheriBSD

Links
CHERI Project homepage - URL: http://www.cheri-cpu.org
CHERi github repo - URL: https://github.com/CTSRD-CHERI/cheribsd
Morello Platform landing page +

CheriBSD

Links
CHERI Project Homepage + URL: http://www.cheri-cpu.org
CheriBSD GitHub Repo + URL: https://github.com/CTSRD-CHERI/cheribsd
Morello Platform Landing Page URL: https://www.morello-project.org
CheriBSD Morello Developer Preview - URL: https://morello-dist.cl.cam.ac.uk
ARM Morello Program + URL: https://morello-dist.cl.cam.ac.uk
Arm Morello Program URL: https://developer.arm.com/architectures/cpu-architecture/a-profile/morello

Contact: Alex Richardson <arichardson@FreeBSD.org>