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.