# CONFIG_HZ_100 is not set
CONFIG_HZ=250
CONFIG_HZ_250=y
-# CONFIG_I2C is not set
CONFIG_I8253=y
CONFIG_I8259=y
CONFIG_INOTIFY_USER=y
CONFIG_MIPS32_N32=y
CONFIG_MIPS32_O32=y
CONFIG_MIPS_COBALT=y
-# CONFIG_MIPS_FPU_EMU is not set
CONFIG_MIPS_L1_CACHE_SHIFT=5
# CONFIG_MIPS_MACHINE is not set
# CONFIG_MIPS_MALTA is not set