#	default kernel config options
#

#	we are 32 bit 
#
CONFIG_64BIT=n

#
#
CONFIG_ENABLE_WARN_DEPRECATED=n

#	obsolete
#
CONFIG_ISDN=n
CONFIG_SOUND_OSS=n
CONFIG_X86_NUMAQ=n
CONFIG_IDE=n

#	external file required otherwise
#
CONFIG_STANDALONE=y
CONFIG_FW_LOADER=n
CONFIG_PREVENT_FIRMWARE_BUILD=y
#	never ever
#
CONFIG_FIRMWARE_IN_KERNEL=n

#	buggy per definition
#
CONFIG_STAGING=n

#	gcc bug: "copy_from_user() buffer size is not provably correct"
#
#CONFIG_DEBUG_STRICT_USER_COPY_CHECKS=n

#	bloat up compile time and size
#
CONFIG_DEBUG_INFO=n