[PATCH 0/3 gnumach] - SMP speedup

[Damien Zammit]

Hi,

This patchset speeds up smp a lot, but I still can't get a shell.
I get random hangs during bootup, or maybe they are just a sporadic slowness.

There are still problems with the scheduler, I think.

Damien