Annex D is partly supported to meet the requirements of the Ravenscar profile.
However, the restrictions defined here and in Annex H are supported, and used as defaults, as described in Appendix A.
Section D1 is fully supported with subtype Priority having a range from 0 .. 127, and subtype Interrupt_Priority having a range from 128 .. 255.
Section D2 is fully supported with the task dispatching policy FIFO_Within_Priorities.
Section D3 is fully supported with Ceiling_Locking.
Section D4 is restricted so that the maximum queue length is one.
The features of Section D5 are prohibited.
The features of Section D6 are prohibited.
Section D7 is fully supported, and includes new restrictions.
Section D8 is fully supported.
Section D8 is fully supported.
Section D8 is fully supported.
The features of Section D11 are prohibited.
The requirements of Section 12 are met. The requested metrics are as follows: time for a call of Set = 120 clock cycles, time for a call of Read = 130 clock cycles.