/* $Id: edf_scheduler_config.h 55697 2004-01-28 01:35:45Z storri $ */
#ifndef EDF_SCHEDULER_CONFIG_H
#define EDF_SCHEDULER_CONFIG_H

#define CONFIG_DSTREAM_EDF_SCHED

#endif /* EDF_SCHEDULER_CONFIG_H */
