Sebastian Huber d62f299b34 Do not define CONFIGURE_TICKS_PER_TIMESLICE to 0 ...

Unconditionally make a CONFIGURE_TICKS_PER_TIMESLICE value less than or equal
to zero an error.

Update #4986.

2024-03-20 10:52:16 +01:00

..

system.h

Do not define CONFIGURE_TICKS_PER_TIMESLICE to 0

2024-03-20 10:52:16 +01:00

task1.c

testsuites/tmtests/*: Change license to BSD-2

2022-04-07 08:38:56 -05:00

tm14.doc

testsuites/rmtests/tm[01]*: Change license to BSD-2

2022-04-12 13:35:38 -05:00