WIP: Pi cleanup
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)
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)