This is the mail archive of the
ecos-discuss@sourceware.cygnus.com
mailing list for the eCos project.
Re: ECOS-COV interface
- To: Alessandro Pinto <alessandropinto at tin dot it>
- Subject: Re: [ECOS] ECOS-COV interface
- From: Jonathan Larmour <jlarmour at redhat dot co dot uk>
- Date: Mon, 19 Jun 2000 14:06:02 +0100
- CC: ecos-discuss at sourceware dot cygnus dot com
- Organization: Red Hat UK Ltd.
- References: <005501bfd9d2$5e18daf0$2b259296@parades.rm.cnr.it>
> 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