41 For the Ravenscar profile, the effect
of the restriction Max_Entry_Queue_Length => 1 applies only to protected
entry queues due to the accompanying restriction Max_Task_Entries =>
0. The restriction Max_Entry_Queue_Length is not applied by the Jorvik
profile.

42 When the Ravenscar or Jorvik profile
is in effect (via the effect of the No_Dynamic_CPU_Assignment restriction),
all of the tasks in the partition will execute on a single CPU unless
the programmer explicitly uses aspect CPU to specify the CPU assignments
for tasks. The use of multiple CPUs requires care, as many guarantees
of single CPU scheduling no longer apply.

43 It is not recommended to specify the
CPU of a task to be Not_A_Specific_CPU when the Ravenscar or Jorvik profile
is in effect. How a partition executes strongly depends on the assignment
of tasks to CPUs.