From: Freejack <Freejack@nomail.com>
Subject: Re: GNAT and Memory Maps?
Date: Tue, 08 Jul 2003 08:20:15 GMT
Date: 2003-07-08T08:20:15+00:00 [thread overview]
Message-ID: <pan.2003.07.08.08.26.12.152281.865@nomail.com> (raw)
In-Reply-To: 3F0A212A.D69A9D79@nospam.corecomm.net
On Mon, 07 Jul 2003 21:40:58 -0400, John Kern wrote:
> Ludovic Brenta wrote:
>
>> By the way, I came across a post by Robert Dewar where he said
>> No_Run_Time is obsolete. Here is the URL:
>>
>> http://gcc.gnu.org/ml/gcc/2002-11/msg00321.html
>>
>>
>>
> That is sad because I felt that having No_Run_Time would be a good way
> to get reliable Ada or SPARK to run in critical automotive applications
> co-residing with other applications on an "accepted" kernel, like OSEK
> or something.
There is OpenRavenscar (ORK) kernel which MIGHT be of use here.
Perhaps an Ada exokernel would be appropriate. I know Bluebottle
OS(Oberon) runs on an exokernel. Considering the similarities, this might
be a useful approach.
Freejack
next prev parent reply other threads:[~2003-07-08 8:20 UTC|newest]
Thread overview: 12+ messages / expand[flat|nested] mbox.gz Atom feed top
2003-07-05 3:36 GNAT and Memory Maps? Freejack
2003-07-05 4:42 ` Freejack
2003-07-05 13:10 ` Ludovic Brenta
2003-07-05 23:24 ` Freejack
2003-07-08 1:40 ` John Kern
2003-07-08 8:20 ` Freejack [this message]
2003-07-08 14:56 ` Rod Chapman
2003-07-05 16:22 ` Simon Wright
2003-07-07 3:50 ` Hyman Rosen
2003-07-08 20:20 ` Simon Wright
2003-07-05 19:59 ` Florian Weimer
2003-07-07 7:44 ` Jean-Pierre Rosen
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox