#
# Automatically generated, don't edit
#
# Generated on: Berlin
# At: Mon, 21 Nov 2005 14:13:59 +0000
# Linux version 2.6.12-1-686 (horms@tabatha.lab.ultramonkey.org) (gcc version 4.0.2 20050917 (prerelease) (Debian 4.0.1-8)) #1 Tue Sep 27 12:52:50 JST 2005

#
# Main menu
#
CONFIG_EXPERIMENTAL=y

#
# Target System Options
#

#
# Target Platform
#
CONFIG_PF_PC=n
CONFIG_PF_UX=y
CONFIG_PF_SA1100=n
CONFIG_PF_XSCALE=n
CONFIG_PF_ISG=n


#
# Target CPU Family
#
CONFIG_IA32=y
CONFIG_ARM=n


#
# Target processor
#
CONFIG_IA32_486=n
CONFIG_IA32_586=y
CONFIG_IA32_686=n
CONFIG_IA32_P2=n
CONFIG_IA32_P3=n
CONFIG_IA32_P4=n
CONFIG_IA32_PM=n
CONFIG_IA32_K6=n
CONFIG_IA32_K7=n
CONFIG_IA32_K8=n

CONFIG_REGPARM3=n


#
# Kernel Options
#

#
# Kernel ABI Version
#
CONFIG_ABI_V2=y
CONFIG_ABI_X0=n


#
# ABI Extensions
#
CONFIG_DECEIT_BIT_DISABLES_SWITCH=y
CONFIG_KIP_SYSCALLS=n

#
# KIP entry point addressing
#
CONFIG_KIP_SYSCALLS_REL=n
CONFIG_KIP_SYSCALLS_ABS=n

CONFIG_MULTI_IRQ_ATTACH=y
CONFIG_EXCEPTION_IPC=y
CONFIG_SYSCALL_ITER=y
CONFIG_HANDLE_SEGMENTS=y
CONFIG_LOCAL_IPC=n
CONFIG_ACTIVATION_IPC=y
CONFIG_PL0_HACK=n

CONFIG_ASSEMBLER_IPC_SHORTCUT=n
CONFIG_SMALL_SPACES=n
CONFIG_CONTEXT_4K=n

#
# Scheduling Timer
#
CONFIG_SCHED_PIT=y
CONFIG_SCHED_RTC=n
CONFIG_SCHED_APIC=n

CONFIG_SYNC_TSC=n
CONFIG_FINE_GRAINED_CPUTIME=n
CONFIG_IO_PROT=n
CONFIG_UX_CON=y
CONFIG_UX_NET=y


#
# Kernel Debugging
#
CONFIG_INLINE=y
CONFIG_NDEBUG=y
CONFIG_PROFILE=n
CONFIG_NO_FRAME_PTR=n
CONFIG_STACK_DEPTH=n
CONFIG_LIST_ALLOC_SANITY=n
CONFIG_BEFORE_IRET_SANITY=n
CONFIG_GSTABS=y
CONFIG_POWERSAVE_GETCHAR=n
CONFIG_SERIAL=n
CONFIG_KDB=n
CONFIG_JDB=y
CONFIG_JDB_LOGGING=n
CONFIG_JDB_ACCOUNTING=n
CONFIG_JDB_MISC=n
CONFIG_WATCHDOG=n
CONFIG_VMEM_ALLOC_TEST=n

#
# Runtime warning level
#
CONFIG_WARN_NONE=n
CONFIG_WARN_ANY=y



#
# Compiling and Building
#
CONFIG_CC="gcc"
CONFIG_CXX="g++"
CONFIG_VERBOSE=n
CONFIG_MAINTAINER_MODE=n


#
# Derived symbols
#
CONFIG_BIT32=y
CONFIG_XARCH="ux"
CONFIG_IA32_TARGET="Intel Pentium"
CONFIG_WARN_LEVEL=2
CONFIG_PERF_CNT=y
CONFIG_ABI="v2"
#
# That's all, folks!