Imagelibrary/seL4
1
0
Fork 1
mirror of https://github.com/seL4/seL4.git synced 2026-03-27 10:29:57 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
master
seL4/include/benchmark
History
Nataliya Korovkina 756a37b7d3 benchmark: config opt. name to enable log buffer 
The latest code updates introduced CONFIG_ENABLE_KERNEL_LOG_BUFFER
meanwhile other code and config.cmake keeps using
CONFIG_KERNEL_LOG_BUFFER

Signed-off-by: Nataliya Korovkina <malus.brandywine@gmail.com>
2022-03-31 08:56:06 +11:00
..
benchmark_track.h
replacing all ifndef with pargma once
2020-03-23 11:04:46 +11:00
benchmark_utilisation_.h
KernelBenchmarksTrackUtilisation: Add more stats
2020-07-15 15:15:27 +10:00
benchmark_utilisation.h
KernelBenchmarksTrackUtilisation: Add more stats
2020-07-15 15:15:27 +10:00
benchmark.h
benchmark: config opt. name to enable log buffer
2022-03-31 08:56:06 +11:00