CONFIG_SGI_IP32=y
CONFIG_CPU_R10000=y
CONFIG_PAGE_SIZE_4KB=y
# CONFIG_SMP is not set

CONFIG_HZ_250=y
CONFIG_PREEMPT_NONE=y
CONFIG_HZ_PERIODIC=y
# CONFIG_HIGH_RES_TIMERS is not set

CONFIG_PCI=y
CONFIG_PCI_DOMAINS=y
CONFIG_PCI_DRIVERS_LEGACY=y
CONFIG_PCI_QUIRKS=y

CONFIG_SERIAL_EARLYCON=y
CONFIG_SERIAL_8250=y
CONFIG_SERIAL_8250_CONSOLE=y
CONFIG_SERIO_MACEPS2=y

CONFIG_NET_VENDOR_SGI=y
CONFIG_SGI_O2MACE_ETH=y

CONFIG_SERIO_MACEPS2=y

CONFIG_FB_GBE=y
CONFIG_FB_GBE_MEM=4

CONFIG_SND_SGI_O2=m