1# 2# Automatically generated file; DO NOT EDIT. 3# Akaros/x86 Kernel Configuration 4# 5CONFIG_64BIT=y 6CONFIG_RUN_INIT_SCRIPT=y 7CONFIG_INIT_SCRIPT_PATH_AND_ARGS="/init.sh" 8CONFIG_X86=y 9CONFIG_X86_64=y 10 11# 12# x86 Options 13# 14# CONFIG_PCI_VERBOSE is not set 15# CONFIG_NOFASTCALL_FSBASE is not set 16 17# 18# x86 Hacks 19# 20# CONFIG_LOUSY_LAPIC_TIMER is not set 21CONFIG_NOMTRRS=y 22# CONFIG_KB_CORE0_ONLY is not set 23# CONFIG_X86_DISABLE_KEYBOARD is not set 24# CONFIG_ENABLE_LEGACY_USB is not set 25CONFIG_NETWORKING=y 26 27# 28# Drivers 29# 30# CONFIG_BNX2X is not set 31# CONFIG_MLX4_EN is not set 32# CONFIG_MLX4_CORE is not set 33# CONFIG_MLX4_INFINIBAND is not set 34CONFIG_REGRESS=y 35CONFIG_DEVVARS=y 36# CONFIG_DEVVARS_TEST is not set 37 38# 39# Filesystems 40# 41CONFIG_KFS=y 42CONFIG_KFS_PATHS="kern/kfs" 43CONFIG_KFS_CPIO_BIN="" 44CONFIG_COREALLOC_FCFS=y 45# CONFIG_COREALLOC_PACKED is not set 46 47# 48# Kernel Debugging 49# 50 51# 52# Per-cpu Tracers 53# 54# CONFIG_TRACE_KMSGS is not set 55# CONFIG_TRACE_LOCKS is not set 56CONFIG_DEVELOPMENT_ASSERTIONS=y 57CONFIG_SPINLOCK_DEBUG=y 58CONFIG_SEQLOCK_DEBUG=y 59CONFIG_SEMAPHORE_DEBUG=y 60# CONFIG_SEM_SPINWAIT is not set 61CONFIG_LARGE_KSTACKS=y 62# CONFIG_DISABLE_SMT is not set 63# CONFIG_PRINTK_NO_BACKSPACE is not set 64# CONFIG_SYSCALL_STRING_SAVING is not set 65CONFIG_BLOCK_EXTRAS=y 66CONFIG_BETTER_BACKTRACE=y 67 68# 69# Misc/Old Options 70# 71# CONFIG_ARSC_SERVER is not set 72# CONFIG_APPSERVER is not set 73# CONFIG_SERIAL_IO is not set 74# CONFIG_SINGLE_CORE is not set 75# CONFIG_BSD_ON_CORE0 is not set 76 77# 78# Libraries 79# 80CONFIG_ZLIB_DEFLATE=y 81CONFIG_ZLIB_INFLATE=y 82 83# 84# Testing 85# 86# CONFIG_KERNEL_TESTING is not set 87# CONFIG_USERSPACE_TESTING is not set 88