From mboxrd@z Thu Jan  1 00:00:00 1970
From: Ricardo Wurmus <rekado@elephly.net>
Subject: Re: proposal to remove linux-Libre from Guix
Date: Fri, 29 Mar 2019 19:51:26 +0100
Message-ID: <87zhpdzf81.fsf@elephly.net>
References: <8c65bf4ce790c911656cf1470c30fccc@riseup.net>
	<87mule1xyl.fsf@elephly.net>
	<0465c809e1f86a491854eb265e2d8fe4@riseup.net> <871s2qil7f.fsf@nckx>
	<20190329154839.npmx6oujdsyvgqiz@uptimegirl>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
Return-path: <help-guix-bounces+gcggh-help-guix=m.gmane.org@gnu.org>
Received: from eggs.gnu.org ([209.51.188.92]:56548)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <rekado@elephly.net>) id 1h9wc1-0004IO-O9
	for help-guix@gnu.org; Fri, 29 Mar 2019 14:52:22 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <rekado@elephly.net>) id 1h9wbu-0000wZ-Bv
	for help-guix@gnu.org; Fri, 29 Mar 2019 14:52:16 -0400
Received: from sender4-of-o53.zoho.com ([136.143.188.53]:21387)
	by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32)
	(Exim 4.71) (envelope-from <rekado@elephly.net>) id 1h9wbq-0000ji-OK
	for help-guix@gnu.org; Fri, 29 Mar 2019 14:52:13 -0400
In-reply-to: <20190329154839.npmx6oujdsyvgqiz@uptimegirl>
List-Id: <help-guix.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/help-guix>,
	<mailto:help-guix-request@gnu.org?subject=unsubscribe>
List-Archive: <http://lists.gnu.org/archive/html/help-guix/>
List-Post: <mailto:help-guix@gnu.org>
List-Help: <mailto:help-guix-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/help-guix>,
	<mailto:help-guix-request@gnu.org?subject=subscribe>
Errors-To: help-guix-bounces+gcggh-help-guix=m.gmane.org@gnu.org
Sender: "Help-Guix" <help-guix-bounces+gcggh-help-guix=m.gmane.org@gnu.org>
To: ng0@n0.is
Cc: Quiliro Ordonez <quiliro@riseup.net>, help-guix@gnu.org


ng0@n0.is writes:

> Unlike Hurd or Linux they do not easily provide just a kernel (the
> closest to "just a kernel" is NetBSD rumpkernel).

And the circle is closed with the Hurd using NetBSD rumpkernel as a
=E2=80=9Cserver=E2=80=9D to run NetBSD device drivers.

Let=E2=80=99s work on the Hurd, people!  It=E2=80=99s beautiful!

--=20
Ricardo