From mboxrd@z Thu Jan 1 00:00:00 1970 From: Pronaip Subject: Re: Guix on a microkernel Date: Mon, 29 Apr 2019 10:21:08 +0000 Message-ID: References: <87v9yxaot4.fsf@orangeshoelaces.net> Reply-To: Pronaip Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([209.51.188.92]:48263) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1hL3Qu-0006RN-7O for guix-devel@gnu.org; Mon, 29 Apr 2019 06:22:49 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1hL3PR-0000F3-Ta for guix-devel@gnu.org; Mon, 29 Apr 2019 06:21:18 -0400 Received: from mail-40130.protonmail.ch ([185.70.40.130]:20313) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1hL3PR-0000CR-Cw for guix-devel@gnu.org; Mon, 29 Apr 2019 06:21:17 -0400 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: Vasilii Kolobkov Cc: "guix-devel@gnu.org" Not a microkernel, but Plan 9's file system semantics might be worth playin= g around with. The POSIX emulation probably wouldn't be able to support a f= ull-blown Guix system, but the OS is very well worth taking hints from, at = the very least. Overlays would imho be much nicer to work with than path va= riables. Sent with ProtonMail Secure Email. =E2=80=90=E2=80=90=E2=80=90=E2=80=90=E2=80=90=E2=80=90=E2=80=90 Original Me= ssage =E2=80=90=E2=80=90=E2=80=90=E2=80=90=E2=80=90=E2=80=90=E2=80=90 On Sunday, April 28, 2019 9:54 PM, Vasilii Kolobkov wrote: > 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= ]] > > -------------------------------------------------------------------------= ---------------------------------------------------------------------------= ---------------------------------------------------------------------------= ------------------------------------------------ > > v, pgp key 0xFF3C7272972E83A5