// Placeholder for reddwarf-scheduler