[ECOS] ECOS-COV interface

[Jonathan Larmour]

> Alessandro Pinto wrote:
> 
> Hi,
> I'm actually using a co-design tool that is able to export a desing for
> verifying it with Affirma HW/SW verifier.
> In tthis design there is an ECOS RTOS IP. For this reason I built the
> ecos and then I compiled all the software part of the desing with
> arm-elf-gcc.
> the problem is that Affirma only support armcc (the toolchain by ARM).
> Is there the possibility to interface this different compiler at some
> level?
> Is it possible to generate the libtarget.a in a format that ermcc can
> understand (for example AOF format)?

I'm afraid not. The GNU tools cannot generate AXF or AOF format files; and
linking of an eCos program must be done by gcc/GNU ld (there are many
dependencies in eCos on this).

By the sound of it therefore, this wouldn't be compatible with Affirma.

Jifl
-- 
Red Hat, 35 Cambridge Place, Cambridge, UK. CB2 1NS  Tel: +44 (1223) 728762
"Plan to be spontaneous tomorrow."  ||  These opinions are all my own fault