[ECOS] redboot with arm linux

[lmc83]

Hi,
    Have any one use redboot to load/debug arm linux
( http://www.arm.linux.org.uk/ )? 
    If I would like to do so, what should I do so that I could use redboot to
    load/debug arm linux? 
    Should I modify the kernel or redboot so that I could do that?

        Thanks in advance for your help.
                             Liang Ming-Chung