Firmware

Hi,

I’m looking for XScale firmware software. I know that the one choice is
RedBoot which can be loaded from http://sources.redhat.com/redboot/ web
page.

So,
Any other recommendations?

Regards,
Jacek