Allow priority donation with BSD scheduler. #18

Merged
gk1623 merged 1 commits from gleb/bsd-priority-donation into master 2024-10-25 14:19:18 +00:00

1 Commits

Author SHA1 Message Date
6e072a557f Allow priority donation with BSD scheduler.
- Recalculate priority with donations after BSD priority updates
- Remove mlfqs checks from lock_acquire
2024-10-25 14:03:55 +01:00