Overview

Overview

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.

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 GNU Toolchain

This guide gives a brief overview of the Morello GNU Toolchain and how to make use of it within the context of the Morello SDK.

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.