The recipe for gnumach header files. Mig  and gnumach kernel patches coming as soon as possible.

In order to build it in a 64 bit machine you have to use "--system=i686-linux"

It's my first patch ,so please don't yell at me if I did something wrong :-)

Cheers,

Manolis 'phant0mas' Ragkousis