tree 10414a91c5cc262f43de5b8e3434de6dc0fc7887
parent d58087ffbc1fb23a4ad99b23c2674c71a031d2b8
author Anna Lyons <Anna.Lyons@nicta.com.au> 1463545951 +1000
committer Anna Lyons <Anna.Lyons@nicta.com.au> 1463545951 +1000

sel4bench: add flog.h, a header for fast logging

logging.h assumes it is post-processing the logs
flog.h is for logging that takes place during
the benchmark.