Missing Ada/GNAT documentation?

[Robert Dewar]

Teh pragma No_Run_Time is considered obsolete at this stage, we will make
sure that the mention of it is removed from the documentation. This has
been replaced entirely by the high integrity edition of GNAT Pro, which
comes with certification materials etc for DoD certification purposes.
So no, you can't buy the documentation on No_Run_Time since this is 
something that ACT no longer implements or supports. It might
make sense to try to wake this up in the FSF version and document it,
so perhaps Bernd you want to try to take that on.

A quick answer to your PS is that no run time means no run time, so the issue
of how the stack pointer is initialized becomes entirely extra-lingual once
you eliminate the run time. All that happens is that you get a bunch of
stand alone object files, how you run them is entirely up to you (typically
you have to write, find, or buy some appropriate real time executive, and
no, these are not available from ACT, but for example you can buy the
DoD certifiable VxWorks CERT from Wind River.

Or you can rig up some kind of bare board approach if you don't need any
tasking (one of the things that ACT does is to provide consulting servicesa
for customers who want to take this approach).

>From the very brief contents of your msg, it sounds like you probably are
not in the region where this approach is reasonable.