Right you are. In fact, I was thinking of the EdgeOS on EdgeRouter, and I was wrong there as well, since that is actually mips64.

https://www.debian.org/ports/mips/