From mboxrd@z Thu Jan 1 00:00:00 1970 From: mikadoZero Subject: Re: Guix on a microkernel Date: Tue, 30 Apr 2019 12:07:25 -0400 Message-ID: References: <87v9yxaot4.fsf@orangeshoelaces.net> Mime-Version: 1.0 Content-Type: text/plain Return-path: Received: from eggs.gnu.org ([209.51.188.92]:56588) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1hLVIs-0003h7-Kh for guix-devel@gnu.org; Tue, 30 Apr 2019 12:08:23 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1hLVIr-0001h8-JJ for guix-devel@gnu.org; Tue, 30 Apr 2019 12:08:22 -0400 Received: from forward100o.mail.yandex.net ([2a02:6b8:0:1a2d::600]:40726) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1hLVIr-0001fL-26 for guix-devel@gnu.org; Tue, 30 Apr 2019 12:08:21 -0400 Received: from mxback13o.mail.yandex.net (mxback13o.mail.yandex.net [IPv6:2a02:6b8:0:1a2d::64]) by forward100o.mail.yandex.net (Yandex) with ESMTP id 5ACBA4AC06DC for ; Tue, 30 Apr 2019 19:08:16 +0300 (MSK) In-reply-to: <87v9yxaot4.fsf@orangeshoelaces.net> List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org Sender: "Guix-devel" To: guix-devel@gnu.org Thank you for sharing this. Vasilii Kolobkov writes: > My .2 cryptocoins, but you might find it interesting in evaluating HURD > as a kernerl for Guix system. Frankly, I haven't been following HURD > development and don't know how much's changed since. > > [[http://walfield.org/papers/200707-walfield-critique-of-the-GNU-Hurd.pdf]]