#include <time.h>

struct edf_sched_param {
  struct timespec period;
  struct timespec relative_deadline;
};

void *edf_scheduler (void *arg);