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