prex: force resched when current thread lowers priority (numerically higher)
tree8a376683db2d806f5f5688cefde00100e3937c94
-rwxr-xr-x 33915 ChangeLog
-rwxr-xr-x 281 Makefile
drwxr-xr-x - boot
drwxr-xr-x - conf
-rwxr-xr-x 2685 configure
drwxr-xr-x - dev
drwxr-xr-x - doc
drwxr-xr-x - mk
drwxr-xr-x - sys
drwxr-xr-x - user