l4ka-hazelnut/kernel/xconfig/.config

92 lines
1.9 KiB
Plaintext

#
# Automatically generated make config: don't edit
#
#
# Architecture
#
CONFIG_ARCH_X86=y
CONFIG_ARCH_ARM=n
CONFIG_ARCH_MIPS=n
CONFIG_ARCH_SH=n
CONFIG_ARCH_M68K=n
CONFIG_ARCH_ARM_DNARD=y
CONFIG_ARCH_ARM_BRUTUS=n
CONFIG_ARCH_ARM_PLEB=n
CONFIG_ARCH_ARM_IPAQ=n
CONFIG_ARCH_ARM_EP7211=n
CONFIG_ARCH_X86_I586=n
CONFIG_ARCH_X86_I686=y
CONFIG_ARCH_X86_P4=n
CONFIG_IA32_FEATURE_PSE=y
CONFIG_IA32_FEATURE_PGE=y
CONFIG_IA32_FEATURE_SEP=y
CONFIG_IA32_FEATURE_FXSR=y
CONFIG_IA32_FEATURE_MSR=y
CONFIG_IA32_FEATURE_CMOV=y
CONFIG_ARCH_MIPS_R4000=y
#
# Kernel Configuration
#
CONFIG_JOCHEN_BUGS=n
CONFIG_SIGMA0_ENTRY=n
CONFIG_ROOTTASK_ENTRY=n
CONFIG_SMP=n
CONFIG_X86_IOAPIC=n
CONFIG_X86_APICTIMER=n
CONFIG_X86_INKERNEL_PIC=y
CONFIG_PERFMON=n
CONFIG_X86_WBINVD_EMULATION=n
CONFIG_ENABLE_PROFILING=n
CONFIG_IPC_FASTPATH=n
CONFIG_ENABLE_SMALL_AS=n
CONFIG_SMALL_AREA_512MB=n
CONFIG_SMALL_AREA_1GB=n
CONFIG_SMALL_AREA_2GB=n
CONFIG_IO_FLEXPAGES=y
CONFIG_AUTO_IO_MAP=n
CONFIG_ENABLE_PVI=n
CONFIG_CACHEABILITY_BITS=n
#
# Debug Configuration
#
CONFIG_DEBUGGER_KDB=y
CONFIG_DEBUGGER_NEW_KDB=n
CONFIG_DEBUGGER_IO_INKBD=n
CONFIG_DEBUGGER_IO_INCOM=y
CONFIG_DEBUGGER_IO_OUTSCRN=n
CONFIG_DEBUGGER_IO_OUTCOM=y
CONFIG_DEBUGGER_COMPORT=3F8
CONFIG_DEBUGGER_COMSPEED=115200
CONFIG_DEBUGGER_IO_SCREEN_VGA=y
CONFIG_DEBUGGER_IO_SCREEN_HERCULES=n
CONFIG_DEBUG_DISAS=n
CONFIG_KEEP_LAST_BRANCHES=n
CONFIG_USERMODE_NOIRQ=n
CONFIG_DEBUG=y
CONFIG_DEBUG_DOUBLE_PF_CHECK=n
CONFIG_DEBUG_BREAKIN=y
CONFIG_DEBUG_KDB_ONSTART=y
CONFIG_DEBUG_SANITY=n
#
# Trace Settings
#
CONFIG_DEBUG_TRACE_KPF=y
CONFIG_DEBUG_TRACE_UPF=y
CONFIG_DEBUG_TRACE_IRQS=n
CONFIG_DEBUG_TRACE_IPC=y
CONFIG_DEBUG_TRACE_SYSCALLS=n
CONFIG_DEBUG_TRACE_MDB=y
CONFIG_DEBUG_TRACE_SMP=n
CONFIG_DEBUG_TRACE_IPI=n
CONFIG_DEBUG_TRACE_MISC=n
CONFIG_DEBUG_TRACE_INIT=n
CONFIG_DEBUG_SPIN=n
CONFIG_TRACEBUFFER=n
CONFIG_ENABLE_TRACEPOINTS=n
CONFIG_ENABLE_SWITCH_TRACE=n
CONFIG_MEASURE_INT_LATENCY=n