nested donation - old priority
Revert "nested donation - old priority"

This reverts commit 6cf68c890a2b39eff35629881ed425fd2dd0a28b.
Merge remote-tracking branch 'origin/borui'
Reformat DESIGNDOC
Remove priority scheduling

Since the priority scheduler is not used in any later projects, remove
this part to assure robustness.
Merge remote-tracking branch 'origin/master' into borui
Create wishlist for syscall