From: "Vinzent Hoefler" <nntp-2010-10@t-domaingrabbing.de>
Subject: Re: Q: Profiles
Date: Fri, 05 Nov 2010 21:14:58 +0100
Date: 2010-11-05T21:14:58+01:00 [thread overview]
Message-ID: <op.vlpru8ni0k3wt7@jellix.jlfencey.com> (raw)
In-Reply-To: 4cd3e506$0$6992$9b4e6d93@newsspool4.arcor-online.net
On Fri, 05 Nov 2010 12:05:42 +0100, Georg Bauhaus <rm-host.bauhaus@maps.futureapps.de> wrote:
> The Ravenscar profile (and the Restricted profile in GNAT)
> assume we want our tasks to run forever. Programs will be
> supported by a lean and efficient run-time.
>
> What if I just want the lean and efficient Ravenscar run-time
> but do want my tasks to terminate?
I'd suggest to use the appropriate list of Restriction pragmas then.
See ARM D13.1(3) f.
Vinzent.
--
There is no signature.
next prev parent reply other threads:[~2010-11-05 20:14 UTC|newest]
Thread overview: 15+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-11-05 11:05 Q: Profiles Georg Bauhaus
2010-11-05 11:37 ` Yannick Duchêne (Hibou57)
2010-11-05 11:50 ` Georg Bauhaus
2010-11-05 20:14 ` Vinzent Hoefler [this message]
2010-11-05 20:59 ` Georg Bauhaus
2010-11-05 21:28 ` Vinzent Hoefler
2010-11-05 23:11 ` Ed Falis
2010-11-06 0:03 ` Georg Bauhaus
2010-11-06 3:27 ` Yannick Duchêne (Hibou57)
2010-11-06 14:43 ` Ed Falis
2010-11-06 14:53 ` Ludovic Brenta
2010-11-06 18:51 ` Ed Falis
2010-11-09 11:04 ` Matteo Bordin
2010-11-09 11:40 ` Georg Bauhaus
2010-11-09 13:09 ` Matteo Bordin
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox