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