1. A method of generating a set of schedules for use by a partitioning kernel to execute a plurality of partitions on a plurality of processor cores included in a multi-core processor unit, the method comprising: determining a duration to execute each of the plurality of partitions without interference; generating a candidate set of schedules using the respective duration for each of the plurality of partitions; estimating how much interference occurs for each partition when the partitions are executed on the multi-core processor unit using the candidate set of schedules; generating a final set of schedules by, for at least one of the partitions, scaling the respective duration in order to account for the interference for that partition; and configuring the multi-core processor unit to use the final set of schedules to control the execution of the partitions using at least two of the cores.