// EPOS-- CPU Affinity Scheduler Abstraction Implementation

#include <scheduler.h>

__BEGIN_SYS

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

__END_SYS