From mboxrd@z Thu Jan 1 00:00:00 1970 From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=) Subject: Re: Microkernel & guix Date: Wed, 21 Dec 2016 16:51:49 +0100 Message-ID: <871sx1l1pm.fsf@gnu.org> References: Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:42963) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1cJjBN-0005FH-Rm for help-guix@gnu.org; Wed, 21 Dec 2016 10:51:58 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1cJjBJ-0004MX-25 for help-guix@gnu.org; Wed, 21 Dec 2016 10:51:57 -0500 In-Reply-To: (David Craven's message of "Wed, 21 Dec 2016 13:26:42 +0100") List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: help-guix-bounces+gcggh-help-guix=m.gmane.org@gnu.org Sender: "Help-Guix" To: David Craven Cc: help-guix@gnu.org Hello! Thanks for sharing! I=E2=80=99m aware of the developments, and I think eac= h of them brings a lot. There=E2=80=99s also this thing called =E2=80=9CGNU/Hurd=E2=80=9D. ;-) Pe= ople like to make fun of it, and indeed there=E2=80=99s a lot to be said on how the project used = to be unable to publish releases, or how it lacked drivers. But I think that (1) the situation has improved (on the driver side, it now uses Rump for sound and networking drivers), and (2) few people realize that it=E2=80=99s the most practical of all these microkernel-based= OS projects: it has all the GNU user-land software and a full POSIX personality, which in turn means that today it can run GNOME, KDE, IceCat, LibreOffice, and whatnot. To me that=E2=80=99s an important featur= e. My 2=C2=A2. :-) Ludo=E2=80=99.