How to load a linux kernel under vxworks bootloader (PPC860 board)

[FCG WANG Baohua]

Dear All:
  I want to boot a linux 2.4.25 kernel under vxworks bootloader. When I using flat mode(0x200000 -->  0x10000) kernel  uncompressed ELF format ( vmlinux ),
 and download it using TFTP of vxworks, it print the "starting at 0x1000 ...." and  freeze.  No input or output on serial port.
 The version of vxworks is 5.3.1. 
 can you give me some detail advice or give me a tool to slove it? thanks !
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://ozlabs.org/pipermail/linuxppc-embedded/attachments/20050728/44971389/attachment.htm