[ECOS] How to build RedBoot for S3C4510

[Simon]

Hi all,
    Does anyone know how to build a RedBoot for S3C4510? I wanna this
redboot image to be programmed into the flash memory and make the whole
system boot from it. I know the chip is used on ARM's E7T board, and there
is a package for this board in eCos. But it seems it does not replace the
original bootloader in this board.
    So...does anyone know how to build a pure redboot which is executed at
first atfer power on?

Simon