> Does a list exist?

I don't think so... but if you wanted to do the porting stuff, you'd
probably need to buy a PPC architecture manual of some sort, so you
could just make sure to get one that had information on how the 601
differs from the spec. Also, LinuxPPC and MkLinux support the 601, so
you could look for special-casing in their sources and make parallel
changes to ours.

(If you come up with what you think is a complete list, send it here
so we can add it to the FAQ. :)

> Is there a guide somewhere on how to set up
> to build (debug) kernels?

Look in the kernel documentation at
http://www.netbsd.org/Documentation/kernel/index.html (or netbsd.org's
mirrors like www2.us.netbsd.org if it's still having problems).
There's a section on how to build a kernel and some other possibly
useful stuff, including a pointer to the ddb man page, which is what
you'd have to use to debug the kernel.

If you want to build a kernel with debugging symbols, you'll probably
need a -current gcc, because a bug was recently fixed that made the
step of stripping the debug kernel fail on some ports (including
powerpc).

-- Dan