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 :-)