# CONFIG_HZ_100 is not set
CONFIG_HZ=250
CONFIG_HZ_250=y
-# CONFIG_I2C is not set
CONFIG_INITRAMFS_SOURCE=""
CONFIG_INOTIFY_USER=y
CONFIG_INOTIFY=y
# CONFIG_PARTITION_ADVANCED is not set
# CONFIG_PCI_DEBUG is not set
CONFIG_PCI_DOMAINS=y
-# CONFIG_PCSPKR_PLATFORM is not set
CONFIG_PHYS_ADDR_T_64BIT=y
# CONFIG_PLAN9AUTH is not set
# CONFIG_PMC_MSP is not set