History log of /seL4-test-master/projects/seL4_libs/libsel4bench/src/kernel_logging.c
Revision Date Author Comments
# 9214341c 04-Jun-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

Fix licenses
# 60f7d543 25-Aug-2016 Hesham Almatary <hesham.almatary@data61.csiro.au>

Benchmark: update kernel_logging.h to use user-level log buffer

* Sync function is not needed anymore, all the data are in user-level
buffer, no copying from the kernel is needed.