# CONFIG_BACKLIGHT_PROGEAR is not set
# CONFIG_BACKLIGHT_SAHARA is not set
# CONFIG_BACKTRACE_SELF_TEST is not set
-CONFIG_BASE_SMALL=0
CONFIG_BATTERY_OLPC=y
CONFIG_BINARY_PRINTF=y
CONFIG_BINFMT_MISC=y
# CONFIG_DCDBAS is not set
# CONFIG_DEBUG_BLOCK_EXT_DEVT is not set
# CONFIG_DEBUG_BOOT_PARAMS is not set
-# CONFIG_DEBUG_BUGVERBOSE is not set
# CONFIG_DEBUG_DEVRES is not set
# CONFIG_DEBUG_DRIVER is not set
# CONFIG_DEBUG_INFO is not set
# CONFIG_HW_RANDOM_INTEL is not set
CONFIG_HW_RANDOM_VIA=y
CONFIG_HW_RANDOM=y
-# CONFIG_I2C is not set
# CONFIG_I8K is not set
# CONFIG_IMA is not set
CONFIG_INITRAMFS_SOURCE=""
# CONFIG_PCI_GOMMCONFIG is not set
CONFIG_PCI_GOOLPC=y
CONFIG_PCI_OLPC=y
-CONFIG_PCI=y
CONFIG_PCSPKR_PLATFORM=y
# CONFIG_PDA_POWER is not set
CONFIG_PHYSICAL_ALIGN=0x100000
CONFIG_SERIO_SERPORT=y
CONFIG_SERIO=y
# CONFIG_SLOW_WORK is not set
-# CONFIG_SMP is not set
# CONFIG_SONYPI is not set
# CONFIG_SPARSE_IRQ is not set
CONFIG_SPARSEMEM_STATIC=y
# CONFIG_TELCLOCK is not set
CONFIG_THERMAL=y
# CONFIG_THINKPAD_ACPI is not set
-CONFIG_TICK_ONESHOT=y
CONFIG_TIMER_STATS=y
# CONFIG_TOSHIBA is not set
CONFIG_TRACEPOINTS=y