CONFIG_SGI_IP30=y CONFIG_CPU_R10000=y CONFIG_PAGE_SIZE_4KB=y CONFIG_SMP=y CONFIG_NR_CPUS=4 CONFIG_HZ_250=y CONFIG_PREEMPT_NONE=y CONFIG_HZ_PERIODIC=y # CONFIG_HIGH_RES_TIMERS is not set # CONFIG_NO_HZ is not set CONFIG_PCI=y CONFIG_PCI_DOMAINS=y CONFIG_PCI_DRIVERS_LEGACY=y CONFIG_PCI_QUIRKS=y CONFIG_SGI_IOC3=y CONFIG_NET_VENDOR_SGI=y CONFIG_SGI_IOC3_ETH=y CONFIG_SERIO_SGI_IOC3=y CONFIG_SERIAL_EARLYCON=y CONFIG_SERIAL_8250=y CONFIG_SERIAL_8250_DEPRECATED_OPTIONS=y CONFIG_SERIAL_8250_CONSOLE=y CONFIG_SERIAL_8250_IOC3=y CONFIG_SGI_IP30_LEDS=y CONFIG_FB_IMPACT_EARLY=y CONFIG_FB_IMPACT=y CONFIG_FB_ODYSSEY=y CONFIG_SND_RAD1=y CONFIG_RTC_DRV_DS1685_FAMILY=y CONFIG_RTC_DRV_DS1685=y CONFIG_RTC_DRV_M48T35=y