Benchmarking

Open lucypa opened this issue 3 years ago • 1 comments

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

Aug 19 '22 02:08 lucypa

Please review conflicts (ideally rebase from master and push)

Mar 05 '23 22:03 bennoleslie

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

Jul 03 '24 06:07 Ivan-Velickovic