The only GPL stuff is the linux kernel mods, and these are already available in the SA1100 linux patches - Nico rolled them into the latest release. I think it's ftp.cam.org/users/nico - you need linux source, then patch it up with the correct arm-linux patchset, then patch it up with the SA1100 patchset.

Hugo