1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
-- Only set these while in debug mode, since these need to be true partition-wide
pragma Profile (Ravenscar);
-- pragma Restrictions (No_Tasking);
-- pragma Restrictions (No_Asynchronous_Control);
-- pragma Restrictions (Max_Asynchronous_Select_Nesting => 0);
-- pragma Restrictions (No_Abort_Statements);
-- pragma Initialize_Scalars;
-- pragma Restrictions (No_Dynamic_Interrupts);
-- pragma Restrictions (No_Implicit_Dynamic_Code);
-- pragma Restrictions (No_Initialize_Scalars);
-- pragma Restrictions (No_Wide_Characters);
-- pragma Restricted_Run_Time;
-- pragma Restrictions (No_Secondary_Stack);
-- pragma Restrictions (No_Streams);
|
