On 11/5/17 7:56 pm, Sebastian Huber wrote: > Enable the SMP configuration by default in case SMP is enabled. Add > configuration option CONFIGURE_DISABLE_SMP_CONFIGURATION to disable it > explicitly. > > Add CONFIGURE_DISABLE_SMP_CONFIGURATION to all test which would fail > otherwise. > > Update #3001. +1 Nice. Chris