mirror of
https://github.com/reactos/syzkaller.git
synced 2024-11-27 05:10:43 +00:00
7cfcfa6a73
It unconditionally crashes kernel now.
88 lines
1.6 KiB
Plaintext
88 lines
1.6 KiB
Plaintext
#
|
|
# Automatically generated file; DO NOT EDIT.
|
|
# Akaros/x86 Kernel Configuration
|
|
#
|
|
CONFIG_64BIT=y
|
|
CONFIG_RUN_INIT_SCRIPT=y
|
|
CONFIG_INIT_SCRIPT_PATH_AND_ARGS="/init.sh"
|
|
CONFIG_X86=y
|
|
CONFIG_X86_64=y
|
|
|
|
#
|
|
# x86 Options
|
|
#
|
|
# CONFIG_PCI_VERBOSE is not set
|
|
# CONFIG_NOFASTCALL_FSBASE is not set
|
|
|
|
#
|
|
# x86 Hacks
|
|
#
|
|
# CONFIG_LOUSY_LAPIC_TIMER is not set
|
|
CONFIG_NOMTRRS=y
|
|
# CONFIG_KB_CORE0_ONLY is not set
|
|
# CONFIG_X86_DISABLE_KEYBOARD is not set
|
|
# CONFIG_ENABLE_LEGACY_USB is not set
|
|
CONFIG_NETWORKING=y
|
|
|
|
#
|
|
# Drivers
|
|
#
|
|
# CONFIG_BNX2X is not set
|
|
# CONFIG_MLX4_EN is not set
|
|
# CONFIG_MLX4_CORE is not set
|
|
# CONFIG_MLX4_INFINIBAND is not set
|
|
CONFIG_REGRESS=y
|
|
CONFIG_DEVVARS=y
|
|
# CONFIG_DEVVARS_TEST is not set
|
|
|
|
#
|
|
# Filesystems
|
|
#
|
|
CONFIG_KFS=y
|
|
CONFIG_KFS_PATHS="kern/kfs"
|
|
CONFIG_KFS_CPIO_BIN=""
|
|
CONFIG_COREALLOC_FCFS=y
|
|
# CONFIG_COREALLOC_PACKED is not set
|
|
|
|
#
|
|
# Kernel Debugging
|
|
#
|
|
|
|
#
|
|
# Per-cpu Tracers
|
|
#
|
|
# CONFIG_TRACE_KMSGS is not set
|
|
# CONFIG_TRACE_LOCKS is not set
|
|
CONFIG_DEVELOPMENT_ASSERTIONS=y
|
|
CONFIG_SPINLOCK_DEBUG=y
|
|
CONFIG_SEQLOCK_DEBUG=y
|
|
CONFIG_SEMAPHORE_DEBUG=y
|
|
# CONFIG_SEM_SPINWAIT is not set
|
|
CONFIG_LARGE_KSTACKS=y
|
|
# CONFIG_DISABLE_SMT is not set
|
|
# CONFIG_PRINTK_NO_BACKSPACE is not set
|
|
# CONFIG_SYSCALL_STRING_SAVING is not set
|
|
CONFIG_BLOCK_EXTRAS=y
|
|
CONFIG_BETTER_BACKTRACE=y
|
|
|
|
#
|
|
# Misc/Old Options
|
|
#
|
|
# CONFIG_ARSC_SERVER is not set
|
|
# CONFIG_APPSERVER is not set
|
|
# CONFIG_SERIAL_IO is not set
|
|
# CONFIG_SINGLE_CORE is not set
|
|
# CONFIG_BSD_ON_CORE0 is not set
|
|
|
|
#
|
|
# Libraries
|
|
#
|
|
CONFIG_ZLIB_DEFLATE=y
|
|
CONFIG_ZLIB_INFLATE=y
|
|
|
|
#
|
|
# Testing
|
|
#
|
|
# CONFIG_KERNEL_TESTING is not set
|
|
# CONFIG_USERSPACE_TESTING is not set
|