Ok, I found this link in the forum:
http://wwwcip.informatik.uni-erlangen.de/~simigern/jornada-7xx/
And the thread said that the developers are using Gcc 3.4.1.
I also see the kernels in there.
Ok, I'll go from there!
For other people a really good document about ARM cross-compilation
(making toolchains
) is at:
http://arm.nihilisme.ca/
Specifically "The GNU Toolchain for ARM targets HOWTO"
-Josh