Mainline-based fork of the Linux kernel for Morello.

Mailing list: https://op-lists.linaro.org/mailman3/lists/linux-morello.op-lists.linaro.org/

ABI specifications hosted in the wiki space: https://git.morello-project.org/morello/kernel/linux/-/wikis/home

Mainline-based fork of the Linux kernel for Morello. ABI specifications hosted in the wiki space: https://git.morello-project.org/morello/kernel/linux/-/wikis/home

Mainline-based fork of the Linux kernel for Morello. ABI specifications hosted in the wiki space: https://git.morello-project.org/morello/kernel/linux/-/wikis/home

This repository contains the fork of Linux Test Project (LTP) for Morello.

Mailing list: https://op-lists.linaro.org/mailman3/lists/linux-morello-ltp.op-lists.linaro.org

Repo containing board and SoC firmware binaries

This project is hosting Dockerfile files used to build optimized docker images for Morello CI

Mirror of the CHERI-QEMU GitHub repository. Please report issues and submit pull requests on GitHub.

Mainline-based fork of the Morello Linux kernel for review. ABI specifications hosted in the wiki space: https://git.morello-project.org/morello/kernel/linux/-/wikis/home

These are the ROM binaries that went into Morello silicon and we need to use the same on FVP to avoid deviations in the software stack

This project is hosting pipelines used for Morello CI

Mainline-based fork of the Linux kernel for Morello. ABI specifications hosted in the wiki space: https://git.morello-project.org/morello/kernel/linux/-/wikis/home

Busybox porting for Morello PCuABI

This project contains the linux kernel headers for the morello platform.