Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | P-FP: simplify priority comparison | Bjoern Brandenburg | 2012-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's | Sven Dziadek | 2012-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 |