History log of /seL4-l4v-10.1.1/seL4/include/benchmark/benchmark_utilisation.h
Revision Date Author Comments
# b942a504 26-Mar-2018 Bruce Mitchener <bruce.mitchener@gmail.com>

Fix trivial comment typos.
# 5f7fa2fc 19-Oct-2016 Hesham Almatary <hesham.almatary@data61.csiro.au>

Benchmark: Pack arch-independent benchmark-related files into separate directories