History log of /seL4-l4v-10.1.1/seL4/include/benchmark/benchmark_tracepoints_types.h
Revision Date Author Comments
# 07f94833 18-Jun-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

libsel4: fix licenses

- some were incorrectly marked GPL (libsel4 is BSD)
- update NICTA --> DATA61 etc
- fix tags D61 --> DATA61
- update year to 2017
# 5f7fa2fc 19-Oct-2016 Hesham Almatary <hesham.almatary@data61.csiro.au>

Benchmark: Pack arch-independent benchmark-related files into separate directories
# fb19c78e 24-Aug-2016 Hesham Almatary <hesham.almatary@data61.csiro.au>

Benchmark: Share trace point log structure with the user