I'm the student that contacted Miod and the one hosting these emails.
No one has questioned this, but I got Miod's permission before sharing.
I think his stance is reasonable. About a year ago, he converted the mips port to mips64 (lower case to denote the actual port names), removing MIPS32 support. If there were reasonably strong developer backing for a mips32 port, I bet it would happen. Obviously, a single curious undergrad doesn't qualify. Here's a great set of slides about this:
In regards to the Chromebook comment: there are MIPS Chromebooks in the pipeline. I remember digging through the relevant Linux commits looking for indicators of whether they'd be 32-bit or 64-bit, but I don't remember what I found.
See this email and the associated thread for more information:
No one has questioned this, but I got Miod's permission before sharing.
I think his stance is reasonable. About a year ago, he converted the mips port to mips64 (lower case to denote the actual port names), removing MIPS32 support. If there were reasonably strong developer backing for a mips32 port, I bet it would happen. Obviously, a single curious undergrad doesn't qualify. Here's a great set of slides about this:
http://www.openbsd.org/papers/ven05-niallo-uwe/slides.pdf
In regards to the Chromebook comment: there are MIPS Chromebooks in the pipeline. I remember digging through the relevant Linux commits looking for indicators of whether they'd be 32-bit or 64-bit, but I don't remember what I found.
See this email and the associated thread for more information:
https://marc.info/?l=openbsd-misc&m=144012041817764&w=2