aboutsummaryrefslogtreecommitdiffstats
path: root/litmus/fp_common.c
Commit message (Collapse)AuthorAge
* P-FP: simplify priority comparisonBjoern Brandenburg2012-10-18
| | | | | | Make the priority comparison easier to read. Also, remove the "equal PID" clause and insert a corresponding BUG_ON() instead; this should really never happen.
* P-FP: port P-FP plugin used in B. Brandenburg'sSven Dziadek2012-07-23
dissertation (branch bbb-diss) to current version of litmus This is needed for ongoing projects I took the unchanged code but removed some leftovers of OMLP which is not implemented