So far I have found two ports  for the SA1100: the sa11x0 port by Robert
Swindells and more recently the official hpcarm port from
http://www.netbsd.org/Ports/hpcarm/. Is the hpcarm port now the best (more
official) source for the SA1100?

On another note, both ports appear to require NetBSD-current but I would
like to work on a stable release. Does anyone know if NetBSD 1.5.1 will be
coming soon?

Thanks,
Mark.