[PATCH 0/5 gnumach] Scheduler fixes

[Damien Zammit]

Hi,

This patchset does not seem to make much noticable difference to speed,
but I think it's an improvement.

The patches can probably be cherry-picked independently if you don't
want all of them.

Thanks,
Damien