We claimed that the support of the Priority Ceiling Protocol is trivial
in the context of the Ravenscar profile for the ORK+ run-time. Explain
why.
What are the restrictions to support the Ada Real-Time Annex on a
GNU/Linux system? You may check the GNAT Reference Manual for
more details.