[ECOS] Re:how to use redboot to boot pc

[niky <b4506051 at csie dot ntu dot edu dot tw>]

Hi,

<Fabrice Gautier>Is your serial link correctly set-up ?

I think it is ok. I can download test files under gdb stubs via it.

<Jfil>Niky, on the meantime you can do this yourself with objcopy -O binary
<Jfil>redboot.elf redboot.bin

I try it, and I use file to check the bin.
file shows it is data, and does not say it is bootable.
I write the bin to a floppy by dd, and then use the floppy
to boot my target pc, but it does not show anything, and the led of 
the floppy disk is light.

niky