Introduction
This website is the home page for research on Capability aware Morello Linux environments. To learn more please refer to our Morello Linux documentation.
The Morello platform is supported by a number of evolving RTOS/OS environments at different stages of maturity. CheriBSD is implemented and hosted separately by the University of Cambridge and SRI International and includes a memory-safe kernel, userspace and various example frameworks. The CHERI OS-feature matrix includes more information on features implemented by Morello Linux and CheriBSD operating systems.
Development Platforms
Morello Hardware Development Platform
The Morello hardware development platform is now available to organizations involved in defined research activities. Access to the platform is managed by the UK government’s Digital Security by Design (DSbD) Technology Access Programme.
To get started please refer to our Morello User Guide.
Morello Platform Model
The Morello Platform Model is an open access FVP (Fixed Virtual Platform) implementation aligned with the development board. It is available to download from Arm’s Ecosystem FVP Developer page.
FVPs use Arm binary translation technology to create a register level functional model of system hardware (including processor, memory and peripherals) that can be run as an executable in a development environment. They implement a programmer’s view model suitable for software development, enabling execution of full software stacks on a widely available platform.
To get started please refer to our Morello Get Started Guide.
Support and Contributions
The Morello Gitlab and associated issues trackers are intended to enable Open Source Software development - supporting engineering contributions and targeted defects and patches relating to specific component projects. We welcome engineering collaboration.
To start contributing to our software ecosystem based on Capability aware Linux please refer to our Contributrion Process or for generic queries send and email to linux-morello@op-lists.linaro.org.
Wider support queries and questions should be raised via Arm’s Morello forum
For questions specific to the CheriBSD environment visit https://www.cheribsd.org/