Links for gpu-task-scheduler