Something went wrong with the file,I am very sorry
Here is the right one!



2014-02-15 20:45 GMT+00:00 ΜΑΝΩΛΗΣ ΡΑΓΚΟΥΣΗΣ <manolis837@gmail.com>:

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