Where can I find the redboot source
In Linux BSP archive. When you unpack it, there's an archive name redboot_....tar.gz or similar available.