Re: Ravenscar and run-time program parameters

["Jeffrey R. Carter" <spam.jrcarter.not@acm.nospam.org>]

Maciej Sobczak wrote:
> 
> Could you please give a link, if there is such implementation publicly
> available?

One is given at

http://www.sigada.org/ada_letters/jun2004/ravenscar_article.pdf

However, it is incorrect, because Suspend_Until_True is a potentially 
blocking operation and may not be called from a protected operation. You 
may be able to infer a correct implementation from this.

-- 
Jeff Carter
"Propose to an Englishman any principle, or any instrument, however
admirable, and you will observe that the whole effort of the English
mind is directed to find a difficulty, a defect, or an impossibility
in it. If you speak to him of a machine for peeling a potato, he will
pronounce it impossible: if you peel a potato with it before his eyes,
he will declare it useless, because it will not slice a pineapple."
Charles Babbage
92