Manifest of the seL4bench project, which contains microbenchmarks for seL4.
No issues in this repository yet.