Martin Michlmayr wrote:
[snip]
But shouldn't there be some webpage which lists all supported devices,
and with instructions on how to install Debian on these devices?
Yeah. The MIPS page is completely out of date and needs a major
update and I suppose the ARM page might be in a similar state. It's
somewhere on my TODO list but I'm not sure when I'll get to it.
FWIW, I started a page http://wiki.debian.org/MIPSPort which might be
easier to keep up to date. I intend to add only Debian-specific
information there and keep general system information at
www.linux-mips.org, which is also a wiki.