RTOS/seL4
1
0
Fork 0
forked from Imagelibrary/seL4
Code Pull Requests Activity

libsel4: def. CONFIG_KERNEL_LOG_BUFFER in autoconf

Browse Source 
Define CONFIG_KERNEL_LOG_BUFFER in the same way as all other kernel
config options so that it is present in autoconf.h

Signed-off-by: Kent McLeod <kent@kry10.com>
This commit is contained in:
Kent McLeod
2021-07-09 12:09:07 +10:00
committed by Kent McLeod
parent c7d5bb0ed4
commit 87f5992d12
2 changed files with 8 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
config.cmake
View File

@@ -365,6 +365,14 @@ if(NOT (KernelBenchmarks STREQUAL "none"))
else() else()
config_set(KernelEnableBenchmarks ENABLE_BENCHMARKS OFF) config_set(KernelEnableBenchmarks ENABLE_BENCHMARKS OFF)
endif() endif()
# Reflect the existance of kernel Log buffer
if(KernelBenchmarksTrackKernelEntries OR KernelBenchmarksTracepoints)
config_set(KernelLogBuffer KERNEL_LOG_BUFFER ON)
else()
config_set(KernelLogBuffer KERNEL_LOG_BUFFER OFF)
endif()
config_string( config_string(
KernelMaxNumTracePoints MAX_NUM_TRACE_POINTS KernelMaxNumTracePoints MAX_NUM_TRACE_POINTS
"Use TRACE_POINT_START(k) and TRACE_POINT_STOP(k) macros for recording data, \ "Use TRACE_POINT_START(k) and TRACE_POINT_STOP(k) macros for recording data, \

6
libsel4/include/sel4/config.h
View File

@@ -9,9 +9,3 @@
/* Compile-time configuration parameters. Might be set by the build system. */ /* Compile-time configuration parameters. Might be set by the build system. */
#include <autoconf.h> #include <autoconf.h>
/* Configurations requring the kernel log buffer */
#if defined CONFIG_BENCHMARK_TRACK_KERNEL_ENTRIES || \
defined CONFIG_BENCHMARK_TRACEPOINTS
#define CONFIG_KERNEL_LOG_BUFFER
#endif