Morello Linux
In less than 10 minutes you should be able to setup a docker container with everything you need to build an application for Morello.
Overview
Overview
Introduction
This page contains some simple instructions to get you started on Morello. In less than 10 minutes you should be able to setup a docker container with everything you need to build an application for Morello.
Build the Linux Kernel
This document covers the steps to build the linux kernel for morello using morello-sdk.
Build the Linux Test Project
This document covers the steps to build the Linux Test Project for morello using morello-sdk.
Build the musl libC
This document covers the steps to build the musl libC for morello using morello-sdk.
Build morello-doom
This document covers the steps to build the morello-doom for morello using morello-sdk.
Build an example application with C++
This document explains how to build a C++ application using musl libC for morello and morello-sdk.
Build the musl libC with C++ for morello using morello-sdk (Experimental)
This document covers the steps to build the musl libC from sources using morello-sdk.
Morello Bootstrap Scripts
This page contains some simple instructions to get you started on Morello without using docker.
Requires: a Debian 11 based aarch64 or x86_64 environment with network access and this repository available inside.
Morello GDB
Morello GDB is a fork of GDB adding support for Morello, including the pure-capability ABI. This is a short guide to get started with Morello GDB.
Cosign and Morello Linux
morello-linux generated containers are signed using cosign.