search

seL4 / microkit

Microkit - A simple operating system framework for the seL4 microkernel
Other
70 stars 37 forks source link

Benchmarking #11

Closed lucypa closed 2 days ago

lucypa commented 1 year ago

This PR enables users to specify a 'benchmark' config in order to use seL4's benchmarking system calls.

bennoleslie commented 1 year ago

Please review conflicts (ideally rebase from master and push)

Ivan-Velickovic commented 2 days ago

Re-done this work in https://github.com/seL4/microkit/pull/157 since lots has changed since this PR.