sel4-cap/dev-kit-microkit-manifest

seL4 Dev Kit Microkit Manifest

This repo contains the seL4 microkit with an example for building with uboot drivers

Quickstart

To quickly get up and running with the uboot-driver-example example for the maaxboard, collect the files with

mkdir dev-kit-microkit-manifest
cd dev-kit-microkit-manifest
repo init -u git@github.com:sel4-cap/dev-kit-microkit-manifest.git
repo sync