Only used if use_task_ext is set to true. Defines scheduler configuration to be used by TaskExt.
See Implementation
Only used if use_task_ext is set to true. Defines scheduler configuration to be used by TaskExt.