diff options
Diffstat (limited to 'c')
| -rw-r--r-- | c/src/exec/rtems/src/tasks.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/c/src/exec/rtems/src/tasks.c b/c/src/exec/rtems/src/tasks.c index 0b30fcce69..55d6bed7df 100644 --- a/c/src/exec/rtems/src/tasks.c +++ b/c/src/exec/rtems/src/tasks.c @@ -174,8 +174,14 @@ void _RTEMS_tasks_Manager_initialization( _RTEMS_tasks_Number_of_initialization_tasks = number_of_initialization_tasks; _RTEMS_tasks_User_initialization_tasks = user_tasks; + /* + * There may not be any RTEMS initialization tasks configured. + */ + +#if 0 if ( user_tasks == NULL || number_of_initialization_tasks == 0 ) _Internal_error_Occurred( INTERNAL_ERROR_RTEMS_API, TRUE, RTEMS_TOO_MANY ); +#endif _Objects_Initialize_information( &_RTEMS_tasks_Information, |