Re: Curiousity: pragma No_Run_Time for Gnat

["Marin David Condic" <dont.bother.mcondic.auntie.spam@[acm.org>]

Thanks. I've got that link saved now too.

MDC

--
Marin David Condic
Senior Software Engineer
Pace Micro Technology Americas    www.pacemicro.com
Enabling the digital revolution
e-Mail:    marin.condic@pacemicro.com
Web:      http://www.mcondic.com/


"Peter Amey" <peter.amey@praxis-cs.co.uk> wrote in message
news:3BB035B1.F4ABF4A0@praxis-cs.co.uk...
> [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/
>
> --------------------------------------------------------------------------