Index: website/content/en/status/report-2020-04-2020-06.html =================================================================== --- website/content/en/status/report-2020-04-2020-06.html +++ website/content/en/status/report-2020-04-2020-06.html @@ -1750,8 +1750,8 @@

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 Index: website/content/en/status/report-2020-07-2020-09.html =================================================================== --- website/content/en/status/report-2020-07-2020-09.html +++ website/content/en/status/report-2020-07-2020-09.html @@ -1681,14 +1681,14 @@

CHERI Documentation and Exercises


FreeBSD/RISC-V Project

Links
Wiki Index: website/content/en/status/report-2020-10-2020-12.html =================================================================== --- website/content/en/status/report-2020-10-2020-12.html +++ website/content/en/status/report-2020-10-2020-12.html @@ -2118,11 +2118,11 @@

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>