// EPOS-- CPU Affinity Scheduler Abstraction Implementation

#include <scheduler.h>

__BEGIN_SYS

// Class attributes
int Scheduling_Criteria::SMP_EDF::_next_cpu;

__END_SYS