#include "sched_config.h"

extern SCHED_CONFIG config;