arch/mips/config.in
changeset 439 dd62fca2d6fd
child 628 87802cb25a0f