From mboxrd@z Thu Jan  1 00:00:00 1970
From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=)
Subject: Re: [PATCH 2/2] gnu: Add GNU Mach.
Date: Sun, 19 Mar 2017 17:21:35 +0100
Message-ID: <87k27l2q5s.fsf@gnu.org>
References: <427262bd10c5b261b5c7d376f590a19f@openmailbox.org>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
Return-path: <guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org>
Received: from eggs.gnu.org ([2001:4830:134:3::10]:57595)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <ludo@gnu.org>) id 1cpdaR-0001mL-SE
	for guix-devel@gnu.org; Sun, 19 Mar 2017 12:21:44 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <ludo@gnu.org>) id 1cpdaO-0002ZL-LC
	for guix-devel@gnu.org; Sun, 19 Mar 2017 12:21:43 -0400
In-Reply-To: <427262bd10c5b261b5c7d376f590a19f@openmailbox.org>
	(rennes@openmailbox.org's message of "Thu, 16 Mar 2017 10:06:41
	-0600")
List-Id: "Development of GNU Guix and the GNU System distribution."
	<guix-devel.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/guix-devel>,
	<mailto:guix-devel-request@gnu.org?subject=unsubscribe>
List-Archive: <http://lists.gnu.org/archive/html/guix-devel/>
List-Post: <mailto:guix-devel@gnu.org>
List-Help: <mailto:guix-devel-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/guix-devel>,
	<mailto:guix-devel-request@gnu.org?subject=subscribe>
Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org
Sender: "Guix-devel" <guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org>
To: rennes@openmailbox.org
Cc: guix-devel@gnu.org

Hi rennes,

rennes@openmailbox.org 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=E2=80=99ve added it to =E2=80=98supported-syst=
ems=E2=80=99 (as long
as we=E2=80=99re on one of the CPUs that Mach supports, that=E2=80=99s fine=
 I guess.)

> From 2128b50a0dda9e4e6dbad74f2706aee58f81708d Mon Sep 17 00:00:00 2001
> From: rennes <rennes@openmailbox.org>
> 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 <rennes@openmailbox.org>

Committed with Manolis as the author (I think that=E2=80=99s what you inten=
ded
to do, right?).

Thanks!

Ludo=E2=80=99.