type SchedulingPolicyEnum = enumeration(prioFP "Fixed-priority scheduling", prioRM "Rate-monotonic scheduling", prioDM "Deadline-monotonic scheduling", prioEDF "Earliest-deadline-first scheduling");