mirror of
https://github.com/seL4/seL4.git
synced 2026-04-04 14:31:12 +00:00
c7d5bb0ed4
CONFIG_AARCH64_VSPACE_S2_START_L1 has the correct namespace for a kernel config option. Signed-off-by: Kent McLeod <kent@kry10.com>
18 lines
404 B
C
18 lines
404 B
C
/*
|
|
* Copyright 2014, General Dynamics C4 Systems
|
|
*
|
|
* SPDX-License-Identifier: BSD-2-Clause
|
|
*/
|
|
|
|
#pragma once
|
|
|
|
/* Compile-time configuration parameters. Might be set by the build system. */
|
|
|
|
#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
|