[ECOS] ecos usage question

["Dave Milter" <davemilter at gmail dot com>]

Hi,

I have several question about ecos (new for me technology),
may be someone can answer?

As I understand I build ecos as library and then link it to my code,
move it to bootable storage and my device is ready to run,

but
1)what about reflashing, I mean updating software in device,
what preferred way? At now I see only one way: building also redboot,
and first of all boot it, then it boot my software or reflash my software or
reflash itself, but I actually will have on flash two ecos libraries,
one linking with my software and another linking with redboot.

2)What about FPU? I see in code C implementation of math.h functions,
what about if want use assembler variants which gcc produce?

3)related to (2), I doubt that gcc which recommended as default
toolchain for arm support FPU that I will use (VFP9-S), can I use more
recent versions of gcc, like 4.1 to build ecos?

-- 
Before posting, please read the FAQ: http://ecos.sourceware.org/fom/ecos
and search the list archive: http://ecos.sourceware.org/ml/ecos-discuss