Re: [PATCH 2/2] gnu: Add GNU Mach.

[Ludovic Courtès]

Hi rennes,

address@hidden skribis:

>> +    (synopsis "Microkernel of the GNU system")
>> +    (description
>> +     "GNU Mach is the microkernel upon which a GNU Hurd system is
>> based.")
>> +    (license gpl2+)))
>
> Does it build both on GNU/Linux and GNU/Hurd?
>
> For GNU/Linux (core-updates) works, also works in Hurd.

It builds on i686-linux so I’ve added it to ‘supported-systems’ (as long
as we’re on one of the CPUs that Mach supports, that’s fine I guess.)

> From 2128b50a0dda9e4e6dbad74f2706aee58f81708d Mon Sep 17 00:00:00 2001
> From: rennes <address@hidden>
> Date: Thu, 16 Mar 2017 09:29:55 -0600
> Subject: [PATCH 2/2] gnu: Add GNU Mach.
>
> * gnu/packages/hurd.scm (gnumach): New variable.
>
> Co-authored-by: Rene Saavedra <address@hidden>

Committed with Manolis as the author (I think that’s what you intended
to do, right?).

Thanks!

Ludo’.