gnatTswitch can be used to specify the time-slicing value to be used for task switching between equal priority tasks. The value
nnnis given in microseconds as a decimal integer.
Setting the time-slicing value is only effective if the underlying thread
control system can accommodate time slicing. Check the documentation of
your operating system for details. Note that the time-slicing value can
also be set by use of pragma
Time_Slice or by use of the
t switch in the gnatbind step. The pragma overrides a command
line argument if both are present, and the
t switch for gnatbind
overrides both the pragma and the
gcc command line switch.