From 87f5992d128e188e4cd9f039ef77e51cfb5606d0 Mon Sep 17 00:00:00 2001 From: Kent McLeod Date: Fri, 9 Jul 2021 12:09:07 +1000 Subject: [PATCH] libsel4: def. CONFIG_KERNEL_LOG_BUFFER in autoconf 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 --- config.cmake | 8 ++++++++ libsel4/include/sel4/config.h | 6 ------ 2 files changed, 8 insertions(+), 6 deletions(-) diff --git a/config.cmake b/config.cmake index 647f314d4..b2f56b4fd 100644 --- a/config.cmake +++ b/config.cmake @@ -365,6 +365,14 @@ if(NOT (KernelBenchmarks STREQUAL "none")) else() config_set(KernelEnableBenchmarks ENABLE_BENCHMARKS OFF) 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( KernelMaxNumTracePoints MAX_NUM_TRACE_POINTS "Use TRACE_POINT_START(k) and TRACE_POINT_STOP(k) macros for recording data, \ diff --git a/libsel4/include/sel4/config.h b/libsel4/include/sel4/config.h index 8a705ae11..5ae039efc 100644 --- a/libsel4/include/sel4/config.h +++ b/libsel4/include/sel4/config.h @@ -9,9 +9,3 @@ /* Compile-time configuration parameters. Might be set by the build system. */ #include - -/* Configurations requring the kernel log buffer */ -#if defined CONFIG_BENCHMARK_TRACK_KERNEL_ENTRIES || \ - defined CONFIG_BENCHMARK_TRACEPOINTS -#define CONFIG_KERNEL_LOG_BUFFER -#endif