From mboxrd@z Thu Jan 1 00:00:00 1970 From: ng0 <ng0@libertad.pw> Subject: Re: Microkernel & guix Date: Thu, 22 Dec 2016 11:27:20 +0000 Message-ID: <87inqc8aqv.fsf@wasp.i-did-not-set--mail-host-address--so-tickle-me> References: <CAL1_im=w+yUgOX767tYgnjF4QZ7P_1RpuebD5QK3dBBF4ZF=pQ@mail.gmail.com> <871sx1l1pm.fsf@gnu.org> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit Return-path: <help-guix-bounces+gcggh-help-guix=m.gmane.org@gnu.org> Received: from eggs.gnu.org ([2001:4830:134:3::10]:44464) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from <ng0@libertad.pw>) id 1cK1Wz-0007vS-2Y for help-guix@gnu.org; Thu, 22 Dec 2016 06:27:30 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from <ng0@libertad.pw>) id 1cK1Wv-00066f-51 for help-guix@gnu.org; Thu, 22 Dec 2016 06:27:29 -0500 In-Reply-To: <871sx1l1pm.fsf@gnu.org> 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: help-guix@gnu.org Ludovic Courtès <ludo@gnu.org> writes: > Hello! > > Thanks for sharing! I’m aware of the developments, and I think each of > them brings a lot. > > There’s also this thing called “GNU/Hurd”. ;-) People like to make fun > of it, and indeed there’s a lot to be said on how the project used to be > unable to publish releases, or how it lacked drivers. … > Ludo’. I think it would be nice to explore a multiplicity of options in addition to Hurd, if possible. So if someone is willing to start a port, it will take a long time anyway. -- ♥Ⓐ ng0 | PGP keys and more: https://n0is.noblogs.org/ | http://ng0.chaosnet.org