From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 border1.nntp.dca3.giganews.com!border3.nntp.dca.giganews.com!border1.nntp.dca.giganews.com!nntp.giganews.com!goblin2!goblin.stu.neva.ru!aioe.org!.POSTED!not-for-mail
From: Luke A. Guest <laguest@archeia.com>
Newsgroups: comp.lang.ada
Subject: Re: Help with embedded hardware/software platform selection for ADA
Date: Wed, 3 Jul 2013 00:22:38 +0000 (UTC)
Organization: Aioe.org NNTP Server
Message-ID: <237325009394503647.389498laguest-archeia.com@nntp.aioe.org>
References: <31f9819e-6509-4d67-acea-4d2ba9a96c04@googlegroups.com>
 <4csim6j63mk4.1c54vo5v7eu8c.dlg@40tude.net> <kqt3oq$d3e$1@dont-email.me>
 <51d280e7$0$6556$9b4e6d93@newsspool4.arcor-online.net>
 <s4e8djhd4rxk$.gzmors195o34$.dlg@40tude.net>
 <d39ad66d-63a3-43e8-a8ae-3c799c12512e@googlegroups.com>
 <kqvl9l$etj$1@loke.gir.dk>
NNTP-Posting-Host: n2H2PBuJBd4FCQfuL2WPFQ.user.speranza.aioe.org
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
X-Complaints-To: abuse@aioe.org
User-Agent: NewsTap/4.0.1 (iPhone/iPod Touch)
X-Notice: Filtered by postfilter v. 0.8.2
X-Original-Bytes: 1497
Xref: number.nntp.dca.giganews.com comp.lang.ada:182238
Date: 2013-07-03T00:22:38+00:00
List-Id: <comp.lang.ada>

"Randy Brukardt" <randy@rrsoftware.com> wrote:
> So, IMHO (and much like SPARK), Ravenscar is a tool needed only in very 
> specialized circumstances (typically, some sort of certification 
> requirement). Otherwise, one ought to forget about it and use Ada as it was 
> intended.

The point of this thread is this, you can't use stock GNAT rts with these
small boards, it has to be custom and is something I'm working on.