CONFIG_SGI_IP32=y
CONFIG_MIPS32_O32=y
CONFIG_MIPS32_N32=y