diff options
Diffstat (limited to 'cpukit/score/src/threadcreateidle.c')
| -rw-r--r-- | cpukit/score/src/threadcreateidle.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/cpukit/score/src/threadcreateidle.c b/cpukit/score/src/threadcreateidle.c index 04565f910b..cb15d5cc3c 100644 --- a/cpukit/score/src/threadcreateidle.c +++ b/cpukit/score/src/threadcreateidle.c @@ -84,6 +84,10 @@ static void _Thread_Create_idle_for_CPU( &config.stack_size ); + if ( config.stack_size < storage_size ) { + _Internal_error( INTERNAL_ERROR_IDLE_THREAD_STACK_TOO_SMALL ); + } + /* * The entire workspace is zeroed during its initialization. Thus, all * fields not explicitly assigned were explicitly zeroed by |