Sebastian Huber 806fe963a2 config: Improve EDF SMP scheduler configuration ...

Use CONFIGURE_MAXIMUM_PROCESSORS to configure the EDF SMP scheduler
context.  This avoids hard to debug configuration errors resulting in
memory corruptions.

Close #3815.

2019-12-19 14:21:05 +01:00

..

init.c

config: Improve EDF SMP scheduler configuration

2019-12-19 14:21:05 +01:00

smpthreadpin01.doc

…

smpthreadpin01.scn

libtest: Change expected pass state string

2019-12-05 07:10:59 +01:00