From: Georg Bauhaus <rm-host.bauhaus@maps.futureapps.de>
Subject: Q: Profiles
Date: Fri, 05 Nov 2010 12:05:42 +0100
Date: 2010-11-05T12:05:42+01:00 [thread overview]
Message-ID: <4cd3e506$0$6992$9b4e6d93@newsspool4.arcor-online.net> (raw)
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?
next reply other threads:[~2010-11-05 11:05 UTC|newest]
Thread overview: 15+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-11-05 11:05 Georg Bauhaus [this message]
2010-11-05 11:37 ` Q: Profiles Yannick Duchêne (Hibou57)
2010-11-05 11:50 ` Georg Bauhaus
2010-11-05 20:14 ` Vinzent Hoefler
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