Manifest of the seL4bench project, which contains microbenchmarks for seL4.
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
LICENSE_BSD2.txt
README.md
default.xml
master.xml

README.md

sel4bench-manifest

Manifest of the seL4bench project, which contains a set of microbenchmarks for seL4.

Getting the project

Use the repo tool as described on the wiki

mkdir sel4bench
cd sel4bench
repo init -u https://github.com/seL4/sel4bench-manifest.git
repo sync
mkdir build
cd build
../init-build.sh -DPLATFORM=sabre -DHARDWARE=TRUE -DAARCH32=TRUE -DRELEASE=TRUE -DFAULT=TRUE -DFASTPATH=TRUE
ninja