https://github.com/sel4/sel4bench-manifest

Manifest of the seL4bench project, which contains microbenchmarks for seL4.
https://github.com/sel4/sel4bench-manifest

Last synced: 5 months ago
JSON representation

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

• Host: GitHub
• URL: https://github.com/sel4/sel4bench-manifest
• Owner: seL4
• Created: 2016-06-02T01:22:48.000Z (about 10 years ago)
• Default Branch: master
• Last Pushed: 2026-02-18T10:36:51.000Z (6 months ago)
• Last Synced: 2026-02-18T15:13:45.178Z (6 months ago)
• Size: 343 KB
• Stars: 7
• Watchers: 21
• Forks: 12
• Open Issues: 3
• Metadata Files:
  • Readme: README.md
  • Contributing: .github/CONTRIBUTING.md
  • License: LICENSES/BSD-2-Clause.txt
  • Code of conduct: .github/CODE_OF_CONDUCT.md

Awesome Lists containing this project

README

          


# 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 seL4 docsite][repo].

    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

[repo]: https://docs.sel4.systems/projects/buildsystem/host-dependencies.html#get-googles-repo-tool