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

trivial: fix typos and copy/paste fragments

Browse Source 
Signed-off-by: Axel Heider <axelheider@gmx.de>
This commit is contained in:
Axel Heider
2021-11-26 11:50:03 +01:00
committed by Gerwin Klein
parent 9eca49f9d5
commit fcbb15ce3f
4 changed files with 12 additions and 12 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
config.cmake
View File

@@ -364,7 +364,7 @@ config_option(
config_choice(
KernelBenchmarks
KERNEL_BENCHMARK
"Enable benchamrks including logging and tracing info. \
"Enable benchmarks including logging and tracing info. \
Setting this value > 1 enables a 1MB log buffer and functions for extracting data from it \
at user level. NOTE this is only tested on the sabre and will not work on platforms with < 512mb memory. \
This is not fully implemented for x86. \
@@ -386,7 +386,7 @@ else()
config_set(KernelEnableBenchmarks ENABLE_BENCHMARKS OFF)
endif()
# Reflect the existance of kernel Log buffer
# Reflect the existence of kernel Log buffer
if(KernelBenchmarksTrackKernelEntries OR KernelBenchmarksTracepoints)
config_set(KernelLogBuffer KERNEL_LOG_BUFFER ON)
else()