From: Peter Amey <peter.amey@praxis-cs.co.uk>
Subject: Re: Curiousity: pragma No_Run_Time for Gnat
Date: Tue, 25 Sep 2001 08:43:45 +0100
Date: 2001-09-25T08:43:45+01:00 [thread overview]
Message-ID: <3BB035B1.F4ABF4A0@praxis-cs.co.uk> (raw)
In-Reply-To: 9oo7ne$145d$1@ns.felk.cvut.cz
[snip]
> linked that in statically.
>
> Serge Robyns has written a small OS kernel using GNAT and pragma No_Run_Time
> this way. It can be found at http://web.wanadoo.be/rc.s/AdaOS/index.html
You might also like to take a look at: "Re-engineering a safety-critical
system with SPARK95 and GNORT" under "Publications" at www.sparkada.com
Peter
--
---------------------------------------------------------------------------
__ Peter Amey, Product Manager
) Praxis Critical Systems Ltd
/ 20, Manvers Street, Bath, BA1 1PX
/ 0 Tel: +44 (0)1225 466991
(_/ Fax: +44 (0)1225 469006
http://www.praxis-cs.co.uk/
--------------------------------------------------------------------------
next prev parent reply other threads:[~2001-09-25 7:43 UTC|newest]
Thread overview: 22+ messages / expand[flat|nested] mbox.gz Atom feed top
2001-09-24 19:02 Curiousity: pragma No_Run_Time for Gnat Marin David Condic
2001-09-24 21:14 ` Sergey Koshcheyev
2001-09-24 21:54 ` Marin David Condic
2001-09-25 7:32 ` Sergey Koshcheyev
2001-09-25 14:00 ` Marin David Condic
2001-09-25 14:14 ` Lutz Donnerhacke
2001-09-25 19:40 ` Robert Dewar
2001-09-26 9:04 ` Lutz Donnerhacke
2001-09-25 15:20 ` Sergey Koshcheyev
2001-09-25 7:36 ` Jean-Marc Bourguet
2001-09-25 7:43 ` Peter Amey [this message]
2001-09-25 14:02 ` Marin David Condic
[not found] <Pine.LNX.4.33.0109251343310.2841-100000@lagoa.niaad.liacc.up.pt>
2001-09-25 13:20 ` David C. Hoos
-- strict thread matches above, loose matches on Subject: below --
2001-09-25 14:09 M. A. Alves
2001-09-25 13:05 ` chris.danx
2001-09-25 13:07 ` Jacob Sparre Andersen
2001-09-25 13:37 ` Sergey Koshcheyev
[not found] <Pine.LNX.4.33.0109251630310.3066-100000@lagoa.niaad.liacc.up.pt>
2001-09-25 14:48 ` Samuel Tardieu
2001-09-25 16:49 M. A. Alves
2001-09-25 15:05 ` chris.danx
2001-09-25 15:38 ` Marin David Condic
2001-09-25 17:07 M. A. Alves
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox