From: "Martin Dowie" <martin.dowie@btopenworld.com>
Subject: Re: Is it possible to build an Ada cross-compiler for an 8-bit embedded target now that gcc 3.X has support for Ada?
Date: Fri, 14 Nov 2003 19:52:42 +0000 (UTC)
Date: 2003-11-14T19:52:42+00:00 [thread overview]
Message-ID: <bp3bqa$kmn$1@titan.btinternet.com> (raw)
In-Reply-To: 20619edc.0311141059.3db2de83@posting.google.com
"Mike Silva" <snarflemike@yahoo.com> wrote in message
news:20619edc.0311141059.3db2de83@posting.google.com...
> Peter Amey <peter.amey@praxis-cs.co.uk> wrote in message
news:<bp28mb$1iodo4$1@ID-69815.news.uni-berlin.de>...
> >
> > The biggest problem with this approach in general is the size of the
> > run-time library you need to support all of Ada (esp. tasking, exception
> > handling etc.) and writing such a library for a small processor. We
> > have had some success in avoiding these problems by using SPARK as the
> > design language. This gives several benefits:
>
> That's a very interesting approach to the problem! SPARK Ravenscar
> would be an obvious and excellent next step, it seems.
Anyone know of a SPARK-ed RTK?..
next prev parent reply other threads:[~2003-11-14 19:52 UTC|newest]
Thread overview: 13+ messages / expand[flat|nested] mbox.gz Atom feed top
2003-11-13 19:50 Is it possible to build an Ada cross-compiler for an 8-bit embedded target now that gcc 3.X has support for Ada? Peter Milliken
2003-11-13 21:02 ` Peter Milliken
2003-11-14 9:53 ` Peter Amey
2003-11-14 18:59 ` Mike Silva
2003-11-14 19:52 ` Martin Dowie [this message]
2003-11-17 21:57 ` Randy Brukardt
2003-11-18 16:03 ` Stephen Leake
2003-11-18 20:17 ` Randy Brukardt
2003-11-18 22:10 ` Stephen Leake
2003-11-19 20:12 ` Randy Brukardt
2003-11-19 22:23 ` Chad R. Meiners
2003-11-18 19:55 ` Peter Milliken
2003-11-18 20:11 ` Randy Brukardt
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox