This repository contains google repo manifest files for the verification repository collection.

To use, install the google repo tool from http://source.android.com/source/downloading.html#installing-repo

Then run the following commands:

mkdir verification
cd verification
repo init -u ssh://git@github.com/seL4/verification-manifest.git
repo sync

If you do not have ssh access set up for github, you can also use

repo init -u https://github.com/seL4/verification-manifest.git

For build instructions for the proofs, see the l4v/ repository.

For build instructions for the binary verification, see the graph-refine/ repository.