Repositories

Image of Morello board starter guide

Morello board starter guide

GitHub repository

Starter guide for setting up the Morello board

Click here to get started.

Image of WebKit browser engine port

WebKit browser engine port

GitHub repository

A port of the WebKit browser engine with Morello support.

Click here to get started.

Image of Memory analysis tools

Memory analysis tools

GitHub repository

Tools for the analysis of memory consistency models, with Morello support.

Click here to get started.

Image of Build scripts for generating CHERI SDKs

Build scripts for generating CHERI SDKs

GitHub repository

Build scripts for generating CHERI SDKs

Click here to get started.

Image of Morello Trusted Firmware-A source code

Morello Trusted Firmware-A source code

GitHub repository

Morello Trusted Firmware-A source code

Click here to get started.

Image of Morello SCP firmware source code

Morello SCP firmware source code

GitHub repository

Morello SCP firmware source code

Click here to get started.

Image of EDK2 UEFI source code for the Morello platform

EDK2 UEFI source code for the Morello platform

GitHub repository

EDK2 UEFI source code for the Morello platform

Click here to get started.

Image of EDK2 UEFI source code for the Morello platform

EDK2 UEFI source code for the Morello platform

GitHub repository

EDK2 UEFI source code for the Morello platform

Click here to get started.

Image of Newlib C library with Morello support

Newlib C library with Morello support

GitHub repository

Newlib C library with Morello support

Click here to get started.

Image of Musl C library with Morello support

Musl C library with Morello support

GitHub repository

Musl C library with Morello support

Click here to get started.

Image of Morello LLVM/Clang toolchain binary releases

Morello LLVM/Clang toolchain binary releases

GitHub repository

Morello LLVM/Clang toolchain binary releases

Click here to get started.

Image of Android Morello examples

Android Morello examples

GitHub repository

Android Morello examples

Click here to get started.

Image of CheriBSD

CheriBSD

GitHub repository

CheriBSD, an extension of FreeBSD supporting the memory protection and compartmentalisation features of the Morello platform.

Click here to get started.

Image of AOSP with support for Morello capabilities

AOSP with support for Morello capabilities

GitHub repository

An initial implementation of AOSP with support for Morello capabilities including Android LLVM/Clang toolchain, Android Common Kernel (ACK), and demos of capability-based compartmentalisation.

Click here to get started.

Image of Morello platform software stack

Morello platform software stack

GitHub repository

An overview of the Morello platform software stack

Click here to get started.

Image of Morello software from Arm

Morello software from Arm

GitHub repository

The primary source for Morello software from Arm, including:

- Android/AOSP for Morello
- LLVM-based toolchain
- CheriBSD
- Firmware for the Morello platform (SCP firmware, TF-A and EDK2 UEFI firmware)

Linux kernel support is in progress and will also be published here.

Click here to get started.

Delivered by Digital Catapult, funded by UKRI through the Digital Security by Design programme.