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 https://github.com/Wellplatform/sel4devkit-maaxboard-microkit-manifest.git --repo-url=https://mirrors.tuna.tsinghua.edu.cn/git/git-repo
repo sync