Skip to content
@Makatea-Project

Makatea Project

README.md

Introduction

The Makatea Project aims to build a QubesOS-inspired operating system for servers running atop the seL4 formally verified microkernel. This is a work-in-progress and not intended for use yet. Current efforts are focused on the fundamental building blocks: the seL4 microkernel, the sel4cp framework, and the x86 VMM.

This project is led by Neutrality with contributions from the Trustworthy Systems Group at the University of New South Wales.

We thank the NLnet Foundation for their generous support.

Pinned Loading

  1. seL4 seL4 Public

    Forked from seL4/seL4

    The seL4 microkernel

    C

  2. sel4cp sel4cp Public

    Forked from Ivan-Velickovic/microkit

    seL4 Core Platform - A simple operating system for the seL4 microkernel

    Python

  3. sel4cp-sdk-builder sel4cp-sdk-builder Public

    Convenience tools to build the sel4cp SDK

    Dockerfile

  4. microkit-x86-machinedump microkit-x86-machinedump Public

    Bootable tool to scan the target and generate the machine.json file for Microkit on x86.

    C

Repositories

Showing 5 of 5 repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…