#
# 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