This repository contains google repo manifest files for the
verification repository collection.
To use, install the google repo tool from http:https://source.android.com/source/downloading.html#installing-repo
Then run the following commands:
mkdir verification
cd verification
repo init -u ssh:https://[email protected]/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.