Partitioned EDF scheduling on a few types of unrelated multiprocessors