On Sun, 9 Feb 2014, Jonas Gorski wrote: > While I agree about the CONFIG_MIPS64 => CONFIG_64BIT replacement, I > wonder if CONFIG_MIPS32_R2 shouldn't rather be CONFIG_CPU_MIPSR2 > (maybe even the existing CONFIG_CPU_MIPS32_R2 are wrong here).
Absolutely. You should be able to build a 32-bit kernel (32BIT) for a MIPS64r2 processor (CPU_MIPS64_R2) and use the FP64 feature. Maciej -- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/
