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
0001_gnu_Add_gnumach_headers
Description: Binary data
