Links for mini-os-scheduler