New kernel based on GNU Mach and Linux-Libre

[Tobias Platen]

I've created a new hybrid kernel based on GNU Mach [1] and GNU Linux-libre.
With this kernel I can use Mach IPC on my Trisquel system.
The Sourcecode ist hosted at [2].

[1] http://www.gnu.org/software/hurd/microkernel/mach/gnumach.html
[2] https://gitorious.org/linux-libre-gnumach

Tobias Platen