mirror of
https://github.com/lkl/linux.git
synced 2025-12-19 08:03:01 +09:00
174 lines
3.9 KiB
Plaintext
174 lines
3.9 KiB
Plaintext
config LKL
|
|
def_bool y
|
|
depends on !SMP && !COREDUMP && !SECCOMP && !UPROBES && !COMPAT && !USER_RETURN_NOTIFIER
|
|
select ARCH_THREAD_STACK_ALLOCATOR
|
|
select GENERIC_ATOMIC64
|
|
select GENERIC_HWEIGHT
|
|
select FLATMEM
|
|
select GENERIC_CLOCKEVENTS
|
|
select GENERIC_CPU_DEVICES
|
|
select NO_HZ_IDLE
|
|
select NO_PREEMPT
|
|
select ARCH_WANT_FRAME_POINTERS
|
|
select UACCESS_MEMCPY
|
|
select GENERIC_STRNCPY_FROM_USER
|
|
select GENERIC_STRNLEN_USER
|
|
select HAVE_ARCH_KASAN
|
|
select TRACING
|
|
|
|
config LKL_FUZZING
|
|
bool "LLVM fuzzing instrumentation"
|
|
default n
|
|
help
|
|
This configuration option enables fuzzing instrumentation
|
|
for the Linux kernel source files to enable coverage-guided
|
|
fuzzing. At the moment LKL supports libFuzzer fuzzing
|
|
engine only.
|
|
|
|
config LKL_LINE_COV
|
|
bool "Code coverage instrumentation for fuzzers"
|
|
depends on LKL_FUZZING && CC_IS_CLANG
|
|
default n
|
|
help
|
|
This configuration option enables line code coverage
|
|
instrumentation for the Linux kernel to generate fuzzing
|
|
code coverage reports. When this option is enabled the
|
|
kernel source files are built with LLVM SanitizerCoverage
|
|
instrumentation.
|
|
|
|
config OUTPUT_FORMAT
|
|
string "Output format"
|
|
default ""
|
|
|
|
config ARCH_DMA_ADDR_T_64BIT
|
|
def_bool 64BIT
|
|
|
|
config PHYS_ADDR_T_64BIT
|
|
def_bool 64BIT
|
|
|
|
config 64BIT
|
|
bool "64bit kernel"
|
|
default n
|
|
|
|
config MMU
|
|
bool "LKL MMU implementation"
|
|
depends on 64BIT
|
|
default n
|
|
|
|
if MMU
|
|
config PGTABLE_LEVELS
|
|
int
|
|
default 3
|
|
|
|
config LKL_MEMORY_START
|
|
hex
|
|
default 0x50000000
|
|
help
|
|
Base address of kernel virtual address space for LKL. No particular
|
|
reason for picking this specific value. It is assumed that the host
|
|
mmap is able to map requested amount of memory at this address.
|
|
STACK_TOP and VMALLOC_START values depend on it.
|
|
|
|
config LKL_TASK_UNMAPPED_BASE
|
|
hex
|
|
default 0x100000
|
|
help
|
|
Starting virtual address for LKL user-space mmap. It is assumed that
|
|
the host mmap is able to map requested amount of memory starting from
|
|
this address.
|
|
|
|
config LKL_MMU_KUNIT_TEST
|
|
bool "Kunit tests for LKL MMU"
|
|
default n
|
|
depends on KUNIT
|
|
help
|
|
Kunit tests to test correctness of MMU-related kernel interfaces (such
|
|
as vmalloc, for example) which are difficult to test in user-space.
|
|
endif
|
|
|
|
config COREDUMP
|
|
def_bool n
|
|
|
|
config CPU_BIG_ENDIAN
|
|
bool "Big-endian kernel"
|
|
default n
|
|
|
|
config GENERIC_CSUM
|
|
def_bool y
|
|
|
|
config GENERIC_HWEIGHT
|
|
def_bool y
|
|
|
|
config NO_IOPORT_MAP
|
|
def_bool y
|
|
|
|
config HZ
|
|
int
|
|
default 100
|
|
|
|
config CONSOLE_LOGLEVEL_QUIET
|
|
int "quiet console loglevel (1-15)"
|
|
range 1 15
|
|
default "4"
|
|
help
|
|
loglevel to use when "quiet" is passed on the kernel commandline.
|
|
|
|
When "quiet" is passed on the kernel commandline this loglevel
|
|
will be used as the loglevel. IOW passing "quiet" will be the
|
|
equivalent of passing "loglevel=<CONSOLE_LOGLEVEL_QUIET>"
|
|
|
|
config PCI
|
|
bool "PCI support"
|
|
select NO_GENERIC_PCI_IOPORT_MAP
|
|
select GENERIC_PCI_IOMAP
|
|
select HAS_DMA
|
|
select DMA_OPS
|
|
default y
|
|
|
|
config RAID6_PQ_BENCHMARK
|
|
bool
|
|
default n
|
|
|
|
config STACKTRACE_SUPPORT
|
|
def_bool y
|
|
|
|
if KASAN
|
|
config KASAN_SHADOW_OFFSET
|
|
hex "KASAN shadow offset"
|
|
default "0"
|
|
|
|
config KASAN_SHADOW_SIZE
|
|
hex "KASAN shadow size"
|
|
default "0"
|
|
endif
|
|
|
|
config BUILTIN_CMDLINE
|
|
string "Built-in kernel command string"
|
|
default ""
|
|
help
|
|
Enter arguments here that should be compiled into the kernel
|
|
image and used at boot time. The command line provided to
|
|
lkl_start_kernel is appended to this string to form the full
|
|
command line.
|
|
|
|
config LKL_HOST_MEMCPY
|
|
bool "Host provides memcpy"
|
|
default n
|
|
help
|
|
This options should be set (in tools/lkl/Makefile.autoconf)
|
|
if the host provides a memcpy implementation.
|
|
|
|
config LKL_HOST_MEMSET
|
|
bool "Host provides memset"
|
|
default n
|
|
help
|
|
This options should be set (in tools/lkl/Makefile.autoconf)
|
|
if the host provides a memset implementation.
|
|
|
|
config LKL_HOST_MEMMOVE
|
|
bool "Host provides memmove"
|
|
default n
|
|
help
|
|
This options should be set (in tools/lkl/Makefile.autoconf)
|
|
if the host provides a memmove implementation.
|