History log of /seL4-l4v-10.1.1/seL4/src/benchmark/benchmark_track.c
Revision Date Author Comments
# aa656604 11-Feb-2017 Kent McLeod <Kent.Mcleod@data61.csiro.au>

Modify FinalizeLog syscall

There is no way to know how many entries the syscall log contains
otherwise. One option was iterating through until finding a 0
terminator, however this requires the log to be zeroed before each
trial. This changes the FinalizeLog syscall to return the number of
entries.


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

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