Skip to content

WIP: Pi cleanup

Sergey Bozhkorequested to merge
sbozhko/rt-proofs:pi_cleanup into master

This MR separates the general notion of priority inversion and its specific manifestation for ideal uniprocessor.

Note that this MR depends in MRs !115 (merged) and !129 (merged)

Edited by Sergey Bozhko

Merge request reports