Skip to content

eliminate ideal uniprocessor assumption from preemption-model facts

Björn Brandenburg requested to merge wip-ideal-elim into master

This should remove the last remaining "accidental" hard-coded ideal uniprocessor assumptions, besides those in files explicitly residing in ideal modules.

Edited by Björn Brandenburg

Merge request reports