From: John Kern <jkern3@nospam.corecomm.net>
Subject: Re: GNAT and Memory Maps?
Date: Mon, 07 Jul 2003 21:40:58 -0400
Date: 2003-07-07T21:40:58-04:00 [thread overview]
Message-ID: <3F0A212A.D69A9D79@nospam.corecomm.net> (raw)
In-Reply-To: m3n0ftp19v.fsf@insalien.org
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.
next prev parent reply other threads:[~2003-07-08 1:40 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 [this message]
2003-07-08 8:20 ` Freejack
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